junxzm1990/pomp external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

junxzm1990/pomp

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/junxzm1990/pomp)

Close

junxzm1990 / pompView on GitHubMore

• External links
• Readme badge

☆55Mar 30, 2020Updated 5 years ago

Alternatives and similar repositories for pomp

Users that are interested in pomp are comparing it to the libraries listed below

• Henrygwb / deepvsa

  View on GitHub
  ☆43Jun 14, 2022Updated 3 years ago
• ucsb-seclab / dr_checker

  View on GitHub
  DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
  ☆337Apr 30, 2022Updated 3 years ago
• RUB-SysSec / aurora

  View on GitHub
  Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
  ☆162Aug 31, 2022Updated 3 years ago
• ucsb-seclab / autofacts

  View on GitHub
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Feb 19, 2019Updated 7 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• RUB-SysSec / kAFL

  View on GitHub
  Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
  ☆591Jan 10, 2019Updated 7 years ago
• carlosgprado / BrundleFuzz

  View on GitHub
  BrundleFuzz is a distributed fuzzer for Windows and Linux using dynamic binary instrumentation.
  ☆82Sep 10, 2016Updated 9 years ago
• squaresLab / SemanticCrashBucketing

  View on GitHub
  Semantic Crash Bucketing
  ☆16Sep 8, 2020Updated 5 years ago
• jku-ssw / gcc-builtin-study

  View on GitHub
  ☆12Jul 3, 2019Updated 6 years ago
• JeffJerseyCow / fuzzle

  View on GitHub
  A stateful fuzzing engine.
  ☆45Nov 14, 2018Updated 7 years ago
• rrbranco / BlackHat2016

  View on GitHub
  Black Hat 2016 Slides, Paper and Code
  ☆83Aug 10, 2016Updated 9 years ago
• ww9210 / kepler-cfhp

  View on GitHub
  Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability
  ☆62Sep 4, 2019Updated 6 years ago
• RUB-SysSec / grimoire

  View on GitHub
  ☆132Oct 10, 2019Updated 6 years ago
• securesystemslab / sanitizing-for-security-benchmarks

  View on GitHub
  ☆25Oct 4, 2018Updated 7 years ago
• ssl-tud / k-miner

  View on GitHub
  K-Miner
  ☆74Jun 5, 2019Updated 6 years ago
• junxzm1990 / afl-pt

  View on GitHub
  ☆53Jun 13, 2019Updated 6 years ago
• grimm-co / delta-debugging

  View on GitHub
  Debugging library to quickly get the minimal crashing test case
  ☆38May 17, 2018Updated 7 years ago
• HexHive / CFIXX

  View on GitHub
  ☆29Jul 4, 2018Updated 7 years ago
• andikleen / simple-pt

  View on GitHub
  Simple Intel CPU processor tracing on Linux
  ☆354Mar 1, 2023Updated 3 years ago
• KernelAnalysisPlatform / KlareDbg

  View on GitHub
  Kernel debugger using Timeless Debugging method.
  ☆74Feb 16, 2017Updated 9 years ago
• SoftSec-KAIST / IMF

  View on GitHub
  Inferred Model-based Fuzzer
  ☆111Jan 22, 2022Updated 4 years ago
• felixwilhelm / xenpwn

  View on GitHub
  Xenpwn is a toolkit for memory access tracing using hardware-assisted virtualization
  ☆145Jul 22, 2016Updated 9 years ago
• marche147 / sandbox

  View on GitHub
  Improvised json-based configurable Windows sandbox
  ☆11Sep 29, 2020Updated 5 years ago
• vabridgers / Austin-LLVM-Meetup-Material

  View on GitHub
  Presentations, Videos, and Sample Source from Austin LLVM Meetups
  ☆11Jul 23, 2020Updated 5 years ago
• vusec / dangzero

  View on GitHub
  ☆18Sep 4, 2023Updated 2 years ago
• dennisaa / patharmor

  View on GitHub
  PathArmor context-sensitive CFI implementation
  ☆45Oct 26, 2015Updated 10 years ago
• julieeen / kleefl

  View on GitHub
  Seeding fuzzers with symbolic execution
  ☆203Oct 20, 2017Updated 8 years ago
• pointer-authentication / parts-llvm

  View on GitHub
  PARTS / LLVM compiler
  ☆31Aug 14, 2019Updated 6 years ago
• test-pipeline / orthrus

  View on GitHub
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆63Oct 19, 2017Updated 8 years ago
• vulpecker / Vulpecker

  View on GitHub
  An Automated Vulnerability Detection System
  ☆59Aug 22, 2016Updated 9 years ago
• ChengyuSong / Kirenenko

  View on GitHub
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆102Jul 14, 2022Updated 3 years ago
• argp / jemalloc_feng_shui

  View on GitHub
  Example of manipulating Firefox's jemalloc-managed heap
  ☆29Jul 1, 2013Updated 12 years ago
• vusec / vuzzer

  View on GitHub
  ☆386Oct 28, 2019Updated 6 years ago
• tum-i4 / macke

  View on GitHub
  Modular And Compositional analysis with KLEE Engine
  ☆117Dec 17, 2019Updated 6 years ago
• freener / exploits

  View on GitHub
  ☆32Nov 15, 2017Updated 8 years ago
• umnsec / crix

  View on GitHub
  Detect missing check bugs in OS kernels
  ☆113Sep 23, 2023Updated 2 years ago
• HexHive / Igor

  View on GitHub
  ☆77Dec 26, 2025Updated 2 months ago
• whdlgp / ARMv6m_Simulator

  View on GitHub
  Simple Simulator of ARMv6m instructions
  ☆17May 23, 2017Updated 8 years ago
• Mic92 / inspector

  View on GitHub
  Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.
  ☆14Jun 3, 2016Updated 9 years ago