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 11 months ago
• moyix / elmfuzz
  Evolving fuzzers with large language models
  ☆17Updated last year
• binsec / rosa
  ROSA: Finding Backdoors with Fuzzing
  ☆24Updated last month
• SecurityLab-UCD / IRFuzzer
  [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation
  ☆17Updated 4 months ago
• zeyugao / VirtualCompiler
  ☆10Updated 7 months ago
• FuturesLab / OGHarn
  OGHarn: Oracle-guided Fuzzing Harness Generation
  ☆42Updated this week
• trailofbits / vast-checker
  ☆27Updated 2 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…
  ☆14Updated 2 years ago
• bajinsheng / ReZZan
  ☆38Updated 2 years ago
• vandaltool / vandalir
  ☆25Updated 2 years ago
• FuturesLab / Bin2Wrong
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆50Updated 2 months ago
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆21Updated last year
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆80Updated last year
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated 2 months ago
• SoftSec-KAIST / Fuzzle
  Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
  ☆44Updated last year
• seclab-ucr / Unias
  A Hybrid Alias Analysis
  ☆19Updated 2 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 5 years ago
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Updated 2 years ago
• s3team / Abacus
  Side-channel Analysis
  ☆16Updated 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.
  ☆194Updated 2 years ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆46Updated last year
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆28Updated 2 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆31Updated 3 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆54Updated last year
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated 3 months ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆57Updated 5 years 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 last year
• boschresearch / mlfuzz
  ☆17Updated last year
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆33Updated 6 months ago