Alternatives and similar repositories for autofacts

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

• csienslab-PCC / PathConstraintClassifier
  ☆9Updated 6 years ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 3 years ago
• ash09 / angr-static-analysis-for-vuzzer64
  Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool
  ☆22Updated 4 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• eurecom-s3 / dissecting_afl
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Updated 2 years ago
• Navidem / binarymutation
  The Binary Mutation code based on Uroboros
  ☆14Updated 6 years ago
• buszk / drifuzz-concolic
  ☆12Updated 3 years ago
• s3team / bincfp
  Efficient Multi-threaded Binary Code Control Flow Profiling Pintool
  ☆22Updated 8 years ago
• andreafioraldi / ConstrainedMemorySanitizer
  ☆13Updated 4 years ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆24Updated 6 years ago
• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆40Updated 6 years ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated 2 years ago
• patchloc / VulnLoc
  ☆12Updated 4 years ago
• BinaryAnalysisPlatform / bap-pintraces
  ☆19Updated 5 years ago
• andreafioraldi / QEMU-SanCov
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Updated 5 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆30Updated 7 years ago
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• dpc-grindland / Fuzzgrind
  A fully automatic fuzzing tool for Valgrind, unofficial mirror for http://esec-lab.sogeti.com/pages/fuzzgrind.html
  ☆36Updated 9 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆38Updated 6 years ago
• Dynamic-Rabbits / Dynamic-Rabbits
  ☆20Updated 3 years ago
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 4 years ago
• farosato / angr-antievasion
  Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
  ☆34Updated 7 years ago
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 7 months ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆37Updated 6 years ago
• vandaltool / vandalir
  ☆24Updated 2 years ago
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• ijon-afl / ijon-data
  experiments for IJON
  ☆12Updated 5 years ago
• montyly / binnavi-gueb
  Version of Binnavi used for the thesis "Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free"
  ☆10Updated 7 years ago
• Epeius / FFuzz
  ☆16Updated 7 years ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 6 years ago