Alternatives and similar repositories for yapall

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

• GaloisInc / cclyzerpp

  View on GitHub
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆149Jan 30, 2025Updated last year
• s-arash / ascent

  View on GitHub
  Logic programming in Rust
  ☆532Oct 25, 2025Updated 3 months ago
• GaloisInc / renovate

  View on GitHub
  A library for binary analysis and rewriting
  ☆49Sep 28, 2023Updated 2 years ago
• rems-project / cerberus

  View on GitHub
  Cerberus C semantics
  ☆80Jan 15, 2026Updated last month
• seahorn / sea-dsa

  View on GitHub
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆168Dec 4, 2025Updated 2 months ago
• BinTuner / Dev

  View on GitHub
  BinTuner
  ☆66Jul 25, 2022Updated 3 years ago
• vhscampos / range-analysis

  View on GitHub
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Oct 8, 2019Updated 6 years ago
• plast-lab / cclyzer

  View on GitHub
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Oct 2, 2020Updated 5 years ago
• Koukyosyumei / Gymbo

  View on GitHub
  gradient-based symbolic execution engine implemented from scratch
  ☆36Dec 16, 2023Updated 2 years ago
• trailofbits / vast

  View on GitHub
  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…
  ☆434Updated this week
• bda-tool / bda

  View on GitHub
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆31Feb 26, 2021Updated 4 years ago
• seahorn / clam

  View on GitHub
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆287Apr 21, 2024Updated last year
• harp-lab / vflog

  View on GitHub
  vertical + gpu + free join + datalog
  ☆21Feb 12, 2025Updated last year
• Generative-Program-Analysis / GenSym

  View on GitHub
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆144Jan 26, 2026Updated 3 weeks ago
• langston-barrett / duckalog

  View on GitHub
  Datalog engine based on DuckDB
  ☆10Mar 8, 2023Updated 2 years ago
• appleseedlab / maki

  View on GitHub
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆12Aug 27, 2025Updated 5 months ago
• GaloisInc / dismantle

  View on GitHub
  A library of assemblers and disassemblers derived from LLVM TableGen data
  ☆26Aug 12, 2025Updated 6 months ago
• philzook58 / duckegg

  View on GitHub
  An experiment in using DuckDB for a datalog / egg
  ☆27Oct 11, 2023Updated 2 years ago
• cristianassaiante / incomplete-debuginfo

  View on GitHub
  A framework for finding completeness bugs in optimizing compiler toolchains.
  ☆23Mar 4, 2024Updated last year
• GaloisInc / reopt

  View on GitHub
  A tool for analyzing x86-64 binaries.
  ☆337Oct 18, 2024Updated last year
• llaisdy / PrologInfo

  View on GitHub
  Prolog, Datalog, languages, resources, and beyond!
  ☆33Updated this week
• SoftSec-KAIST / SURI

  View on GitHub
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆19Apr 1, 2025Updated 10 months ago
• dafny-lang / xdsmith

  View on GitHub
  Fuzz testing for Dafny
  ☆13Jul 7, 2022Updated 3 years ago
• hasanmdme / decap

  View on GitHub
  This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…
  ☆14Oct 26, 2022Updated 3 years ago
• vangelists / llvm-project

  View on GitHub
  Proof of Concept for Live Reverse Debugging in LLDB (see wiki)
  ☆14Nov 18, 2025Updated 2 months ago
• GaloisInc / MATE

  View on GitHub
  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.
  ☆194Oct 29, 2022Updated 3 years ago
• rems-project / linksem

  View on GitHub
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆52Jul 20, 2025Updated 6 months ago
• kmicinski / program-analysis-examples

  View on GitHub
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Nov 6, 2019Updated 6 years ago
• trailofbits / binary_type_inference

  View on GitHub
  ☆21Sep 10, 2024Updated last year
• OS3Lab / KernelTestingPapers

  View on GitHub
  Papers related with kernel papers
  ☆13Mar 18, 2023Updated 2 years ago
• rmmh / whomp

  View on GitHub
  reverse engineering branch predictors
  ☆18Feb 28, 2016Updated 9 years ago
• katamaran-project / katamaran

  View on GitHub
  Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…
  ☆18Updated this week
• FuturesLab / Bin2Wrong

  View on GitHub
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆59May 20, 2025Updated 8 months ago
• draperlaboratory / cbat_tools

  View on GitHub
  Program analysis tools developed at Draper on the CBAT project.
  ☆106Apr 13, 2023Updated 2 years ago
• LL-MM / approxis-groundtruth

  View on GitHub
  ☆31Jul 21, 2020Updated 5 years ago
• sandialabs / ctadl

  View on GitHub
  CTADL is a static taint analysis tool
  ☆51Aug 29, 2025Updated 5 months ago
• langston-barrett / treeedb

  View on GitHub
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆80Feb 7, 2026Updated last week
• kristerw / smtgcc

  View on GitHub
  Some experiments with SMT solvers and GIMPLE IR
  ☆79Feb 5, 2026Updated last week
• cisco-open / llvm-crash-analyzer

  View on GitHub
  llvm crash analysis
  ☆44Jun 26, 2024Updated last year