Alternatives and similar repositories for tpa

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

• grievejia / andersen

  View on GitHub
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆234Jun 19, 2019Updated 6 years ago
• awen-li / PCA

  View on GitHub
  A data dependence analyzer for C program
  ☆20Jan 23, 2022Updated 4 years ago
• SVF-tools / SVF-example

  View on GitHub
  An external project example using SVF as a library
  ☆24Dec 17, 2025Updated last month
• whichbug / SVF-UAF

  View on GitHub
  A use-after-free checker based on SVF.
  ☆20Nov 29, 2017Updated 8 years ago
• SVF-tools / SUPA

  View on GitHub
  SUPA
  ☆28Jan 15, 2026Updated 3 weeks ago
• nsumner / llvm-dataflow-analysis

  View on GitHub
  ☆66Oct 29, 2019Updated 6 years ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• secure-software-engineering / ideal

  View on GitHub
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Mar 10, 2018Updated 7 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• SVF-tools / Test-Suite

  View on GitHub
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆84Feb 6, 2026Updated last week
• uuverifiers / sloth

  View on GitHub
  An SMT Solver for strings
  ☆10Jun 22, 2018Updated 7 years ago
• rustanlys / rupta

  View on GitHub
  A Pointer Analysis Framework for Rust
  ☆65Jun 17, 2025Updated 7 months ago
• SVF-tools / Teaching-Software-Verification

  View on GitHub
  Teaching and Learning Software Verification via SVF
  ☆34Dec 17, 2025Updated last month
• SVF-tools / WebSVF

  View on GitHub
  WebSVF : Online Learning and Teaching Platform for Code Analysis based on SVF
  ☆19Jan 29, 2026Updated 2 weeks ago
• kisslune / POCR

  View on GitHub
  ☆16Jun 21, 2024Updated last year
• Xidian-ICTT-GZ / Academic_Blog

  View on GitHub
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆36Oct 27, 2025Updated 3 months ago
• trailofbits / screen

  View on GitHub
  Measure branching along code paths
  ☆18Oct 25, 2016Updated 9 years ago
• amaurremi / IDE

  View on GitHub
  Interprocedural Distributive Environment algorithm implementation
  ☆16Jul 16, 2015Updated 10 years ago
• qingkaishi / context-sensitive-reachability

  View on GitHub
  Indexing reachability for context-sensitive data flow analysis.
  ☆12Jul 10, 2022Updated 3 years ago
• 95616ARG / pikos_popl2020

  View on GitHub
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Aug 24, 2020Updated 5 years ago
• goyalankit / compilers-and-llvm

  View on GitHub
  LLVM optimization passes (DCE, LICM), compilers and stuff
  ☆14Dec 10, 2020Updated 5 years ago
• rainoftime / smtfuzz

  View on GitHub
  A fuzzer for SMT solvers
  ☆21Aug 22, 2025Updated 5 months ago
• bingseclab / piecewise

  View on GitHub
  Piecewise debloating toolchain
  ☆15Dec 21, 2019Updated 6 years ago
• WaliDev / WALi-OpenNWA

  View on GitHub
  Home for the WALi weighted automaton library and OpenNWA nested-word automaton library
  ☆17Nov 28, 2018Updated 7 years ago
• seclab-ucr / UBITect

  View on GitHub
  ☆42Oct 26, 2022Updated 3 years ago
• SVF-tools / SVF

  View on GitHub
  Static Value-Flow Analysis Framework for Source Code
  ☆1,646Feb 6, 2026Updated last week
• mattulbrich / llreve

  View on GitHub
  Automatic regression verification for LLVM programs
  ☆19Jul 16, 2021Updated 4 years ago
• ssl-tud / k-miner

  View on GitHub
  K-Miner
  ☆74Jun 5, 2019Updated 6 years ago
• mlfbrown / sys2

  View on GitHub
  Sys, but no longer in Haskell
  ☆19Mar 14, 2022Updated 3 years ago
• Graspan / graspan-java

  View on GitHub
  This is java implementation of Graspan.
  ☆20Dec 20, 2023Updated 2 years ago
• davidtr1037 / chopper

  View on GitHub
  KLEE / CSE Project
  ☆48Apr 3, 2020Updated 5 years ago
• seclab-ucr / SUTURE

  View on GitHub
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆89Sep 18, 2025Updated 4 months ago
• rcorcs / fmsa

  View on GitHub
  Function Merging & Branch Fusion
  ☆19Apr 5, 2019Updated 6 years ago
• uuverifiers / princess

  View on GitHub
  The Princess Theorem Prover
  ☆31Jan 29, 2026Updated 2 weeks ago
• mchalupa / dg

  View on GitHub
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆524May 21, 2025Updated 8 months ago
• awen-li / PolyCruise

  View on GitHub
  A Cross-Language Dynamic Information Flow Analysis.
  ☆27Nov 29, 2022Updated 3 years ago
• jirislaby / LLVMSlicer

  View on GitHub
  Static Slicer for LLVM
  ☆67Jan 9, 2016Updated 10 years ago
• tingsu / caut-lib

  View on GitHub
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Jan 23, 2015Updated 11 years ago
• FP-Analysis / atomic-condition

  View on GitHub
  ☆21Nov 10, 2019Updated 6 years ago