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
  ☆19Updated last year
• SecurityLab-UCD / IRFuzzer
  [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation
  ☆20Updated 10 months ago
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated last year
• moyix / elmfuzz
  Evolving fuzzers with large language models
  ☆17Updated 2 years ago
• FuturesLab / OGHarn
  OGHarn: Oracle-guided Fuzzing Harness Generation
  ☆51Updated last month
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• trailofbits / vast-checker
  ☆27Updated 2 years ago
• vandaltool / vandalir
  ☆26Updated 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…
  ☆16Updated 2 years ago
• ivicanikolicsg / SivoFuzzer
  Grey-box fuzzer SIVO
  ☆13Updated 4 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 5 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆47Updated 5 years ago
• monkbai / DecFuzzer
  Decompiler Fuzzing Test with EMI mutation
  ☆16Updated 5 years ago
• cristianassaiante / incomplete-debuginfo
  A framework for finding completeness bugs in optimizing compiler toolchains.
  ☆23Updated last year
• 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
• 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.
  ☆195Updated 3 years ago
• bajinsheng / ReZZan
  ☆39Updated 3 years ago
• HexHive / SyzRisk
  Official repository of SyzRisk [ASIA CCS'24]
  ☆12Updated last year
• OctavioGalland / afllive
  ☆22Updated 11 months ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆56Updated last year
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆62Updated 5 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆32Updated 3 years ago
• wtdcode / sand-aflpp
  Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"
  ☆26Updated 11 months ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆21Updated 9 months ago
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Updated 3 years ago
• zeyugao / VirtualCompiler
  ☆13Updated last year
• s3team / Abacus
  Side-channel Analysis
  ☆19Updated 3 years ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆84Updated 2 years ago
• lac-dcc / Angha
  Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
  ☆22Updated 2 years ago
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆34Updated last year