Alternatives and similar repositories for pyjoern

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

• nus-apr / CrashRepair
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆18Updated last year
• trailofbits / vast-checker
  ☆27Updated 2 years ago
• moyix / elmfuzz
  Evolving fuzzers with large language models
  ☆17Updated last year
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆48Updated last year
• FuturesLab / OGHarn
  OGHarn: Oracle-guided Fuzzing Harness Generation
  ☆46Updated 2 months ago
• SecurityLab-UCD / IRFuzzer
  [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation
  ☆17Updated 7 months ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆33Updated 5 months ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆56Updated last year
• ivicanikolicsg / SivoFuzzer
  Grey-box fuzzer SIVO
  ☆14Updated 4 years ago
• binsec / rosa
  ROSA: Finding Backdoors with Fuzzing
  ☆25Updated 4 months ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆46Updated 5 years ago
• GaloisInc / MATE
  MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
  ☆196Updated 3 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 5 years ago
• petablox / popl2020-tutorial
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆20Updated 5 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆57Updated 5 years ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆82Updated 2 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• michaelbrownuc / llap
  LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…
  ☆15Updated 2 years ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆39Updated last year
• vandaltool / vandalir
  ☆25Updated 3 years ago
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Updated 3 years ago
• SoftSec-KAIST / Fuzzle
  Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
  ☆44Updated last year
• mechanicalnull / fuzzwatch
  Python GUI for seeing what's happening inside a fuzzer
  ☆26Updated 4 years ago
• boschresearch / mlfuzz
  ☆17Updated 2 months ago
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated last year
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆19Updated 6 months ago
• bajinsheng / ReZZan
  ☆39Updated 3 years ago
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆126Updated 3 years ago
• google / kernel-research
  ☆45Updated last week
• zeyugao / VirtualCompiler
  ☆13Updated 9 months ago