Alternatives and similar repositories for autofacts

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

• BinaryAnalysisPlatform / bap-veri

  View on GitHub
  bil verification tool
  ☆12Jun 30, 2022Updated 3 years ago
• Navidem / binarymutation

  View on GitHub
  The Binary Mutation code based on Uroboros
  ☆14Feb 20, 2019Updated 6 years ago
• jku-ssw / gcc-builtin-study

  View on GitHub
  ☆12Jul 3, 2019Updated 6 years ago
• vusec / safeinit

  View on GitHub
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26May 5, 2021Updated 4 years ago
• bchurchill / pldi19-equivalence-checker

  View on GitHub
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆44Apr 2, 2020Updated 5 years ago
• securesystemslab / sanitizing-for-security-benchmarks

  View on GitHub
  ☆25Oct 4, 2018Updated 7 years ago
• fabric8-analytics / cvejob

  View on GitHub
  A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).
  ☆12Jul 12, 2025Updated 7 months ago
• andreafioraldi / ConstrainedMemorySanitizer

  View on GitHub
  ☆15May 6, 2021Updated 4 years ago
• BinSigma / BinComp

  View on GitHub
  Compiler Fingerprinting
  ☆14Apr 24, 2015Updated 10 years ago
• schieb / ELFManip

  View on GitHub
  Modify ELF executables
  ☆16Mar 5, 2019Updated 6 years ago
• cxreet / razor

  View on GitHub
  ☆39Feb 6, 2021Updated 5 years ago
• dwfault / CollAFLplusplus

  View on GitHub
  Implement CollAFL using LLVM LTO pass on afl++.
  ☆12Sep 24, 2020Updated 5 years ago
• pagabuc / kernographer

  View on GitHub
  Back to the Whiteboard: a Principled Approach for the Assessment and Design of Memory Forensic Techniques (Usenix '19)
  ☆14Aug 16, 2019Updated 6 years ago
• FAU-Inf2 / StarSmith

  View on GitHub
  This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…
  ☆12Jul 8, 2022Updated 3 years ago
• sunglinl / ttffuzz

  View on GitHub
  ☆23Nov 2, 2021Updated 4 years ago
• mhirki / idq-bench2

  View on GitHub
  Instruction decoder microbenchmark suite
  ☆11Oct 31, 2017Updated 8 years ago
• shun-yo / Spaniel

  View on GitHub
  Malware analysis tool based on taint analysis.
  ☆14Jan 29, 2022Updated 4 years ago
• nlp-code-analysis / cross-arch-instr-model

  View on GitHub
  ☆25Feb 21, 2019Updated 6 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• davidhildenbrand / drob

  View on GitHub
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆26Feb 19, 2020Updated 5 years ago
• aspire-project / chisel

  View on GitHub
  A System for Debloating C/C++ Programs
  ☆31Jul 16, 2021Updated 4 years ago
• wisk / fw2elf

  View on GitHub
  Convert a raw firmware image to an ELF file.
  ☆13Feb 6, 2019Updated 7 years ago
• ucsb-seclab / android_broken_fingers

  View on GitHub
  ☆18Feb 26, 2018Updated 7 years ago
• pluohust / ConFuzz

  View on GitHub
  ☆12May 31, 2018Updated 7 years ago
• dcdelia / tinyvm

  View on GitHub
  A simple VM to play with OSR in LLVM
  ☆15Jun 11, 2017Updated 8 years ago
• szimeus / evalyzer

  View on GitHub
  Using WinDBG to tap into JavaScript and help with deobfuscation and browser exploit detection
  ☆82Mar 22, 2017Updated 8 years ago
• fiberx / fiber

  View on GitHub
  Source-binary patch presence test system.
  ☆84Jun 23, 2022Updated 3 years ago
• squaresLab / SemanticCrashBucketing

  View on GitHub
  Semantic Crash Bucketing
  ☆16Sep 8, 2020Updated 5 years ago
• Android-Framework-Symbolic-Executor / Centaur

  View on GitHub
  Symbolic Execution of Android Framework
  ☆15Jun 25, 2017Updated 8 years ago
• kevinkoo001 / CCR

  View on GitHub
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆66Oct 4, 2022Updated 3 years ago
• zhangxiaochuan / MIRROR

  View on GitHub
  The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.
  ☆29Jan 12, 2023Updated 3 years ago
• uw-unsat / serval-sosp19

  View on GitHub
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Sep 11, 2019Updated 6 years ago
• purdue-secomp-lab / MEDS

  View on GitHub
  ☆37Jun 1, 2022Updated 3 years ago
• sharedata21 / HTFuzz

  View on GitHub
  MS-Fuzz data
  ☆15Nov 5, 2022Updated 3 years ago
• uCFI-GATech / ucfi-compiler

  View on GitHub
  ☆17Sep 20, 2019Updated 6 years ago
• revng / qemu

  View on GitHub
  Customized version of QEMU 2.4.0 exposing the TCG frontend and the helpers
  ☆16Dec 22, 2025Updated last month
• yabberyabber / funqual

  View on GitHub
  User defined static call-tree constraints in C++. This is the implementation of the tool for my masters thesis.
  ☆14Sep 25, 2018Updated 7 years ago
• stanford-oval / genie-parser

  View on GitHub
  Neural Network Semantic Parser for Almond
  ☆15Apr 11, 2019Updated 6 years ago
• HexHive / HexVASAN

  View on GitHub
  ☆17Apr 18, 2019Updated 6 years ago