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
• moyix / elmfuzz
  Evolving fuzzers with large language models
  ☆17Updated last year
• trailofbits / vast-checker
  ☆27Updated 2 years ago
• vandaltool / vandalir
  ☆25Updated 3 years ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆48Updated last year
• 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
• SecurityLab-UCD / IRFuzzer
  [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation
  ☆17Updated 8 months ago
• FuturesLab / OGHarn
  OGHarn: Oracle-guided Fuzzing Harness Generation
  ☆46Updated 3 months ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 5 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆33Updated 6 months ago
• binsec / rosa
  ROSA: Finding Backdoors with Fuzzing
  ☆25Updated 4 months ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 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
• SoftSec-KAIST / Fuzzle
  Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
  ☆44Updated last year
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆46Updated 5 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆56Updated last year
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated last year
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆34Updated 10 months ago
• GrammaTech / gtirb-rewriting
  Python API for rewriting GTIRB files
  ☆19Updated 3 weeks ago
• s3team / Abacus
  Side-channel Analysis
  ☆19Updated 3 years ago
• boschresearch / mlfuzz
  ☆18Updated 2 months ago
• ivicanikolicsg / SivoFuzzer
  Grey-box fuzzer SIVO
  ☆13Updated 4 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆19Updated 7 months ago
• OctavioGalland / afllive
  ☆20Updated 9 months ago
• michaelbrownuc / GadgetSetAnalyzer
  A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.
  ☆17Updated 2 years ago
• seclab-ucr / Unias
  A Hybrid Alias Analysis
  ☆19Updated 2 years ago
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆25Updated 5 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆60Updated 5 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆32Updated 3 years ago
• bajinsheng / ReZZan
  ☆39Updated 3 years ago