Alternatives and similar repositories for fandango

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

• hub-se / BeDivFuzz
  ☆16Updated 3 months ago
• fuzz-evaluator / guidelines
  ☆65Updated last year
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆68Updated last year
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆63Updated 11 months ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆76Updated last year
• n132 / ARVO-Meta
  ☆62Updated this week
• UTD-FAST-Lab / RevBugBench
  ☆31Updated last year
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆121Updated 9 months ago
• rshariffdeen / CPR
  CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…
  ☆31Updated 2 years ago
• neu-se / CONFETTI
  ☆22Updated 2 years ago
• XMUsuny / symbolic-execution-papers
  Recent symbolic execution papers and tools.
  ☆166Updated 3 weeks ago
• lt-asset / resym
  For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…
  ☆96Updated last month
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆60Updated 3 weeks ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆78Updated this week
• seclab-ucr / UBITect
  ☆39Updated 2 years ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year
• Kyle-Kyle / top4grep
  find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)
  ☆186Updated 9 months ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆45Updated 10 months ago
• wtdcode / sand-aflpp
  Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"
  ☆17Updated 3 months ago
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆24Updated last year
• HexHive / Igor
  ☆72Updated 2 years ago
• purseclab / D-helix
  a generic decompiler testing framework that can automatically vet the decompilation correctness on the function level.
  ☆16Updated 8 months ago
• CUMLSec / XDA
  ☆85Updated 7 months ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆80Updated 4 years ago
• SoftSec-KAIST / Fuzzle
  Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
  ☆44Updated last year
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆56Updated last month
• boschresearch / neuzzplusplus
  ☆21Updated last year
• CUMLSec / stateformer
  ☆61Updated 6 months ago
• NobleMathews / FuzzSliceICSE
  Camera Ready copy of FuzzSlice v1 code for ICSE
  ☆17Updated last year
• Samsung / UTopia
  UT based automated fuzz driver generation
  ☆166Updated last month