Alternatives and similar repositories for llvm-dsa

Users that are interested in llvm-dsa are comparing it to the libraries listed below

• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆26Updated 5 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆166Updated 4 years ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆29Updated 4 years ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆56Updated last year
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last week
• chengpeng-wang / tutorialpass
  LLVM pass
  ☆24Updated 5 years ago
• grievejia / LLVMDynamicTools
  An LLVM interpreter that aims to compute points-to sets dynamically
  ☆34Updated 10 years ago
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆31Updated 9 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Updated 4 years ago
• xiehuc / llvm-pred
  predicate scientific program performance model using llvm
  ☆29Updated 10 years ago
• guolong-zheng / sling
  ☆20Updated 2 years ago
• caballa / wrapped-intervals
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆12Updated 7 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 9 years ago
• tum-i4 / klee-install
  Step by step manual for building KLEE
  ☆18Updated 8 years ago
• codersguild / Software-Analysis-PAVT
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆37Updated 2 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆113Updated 10 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• securesystemslab / PKRU-Safe
  ☆19Updated 3 years ago
• season-lab / survey-symbolic-execution
  A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
  ☆81Updated 7 years ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆44Updated 5 years ago
• goyalankit / compilers-and-llvm
  LLVM optimization passes (DCE, LICM), compilers and stuff
  ☆13Updated 4 years ago
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆136Updated this week
• plast-lab / cclyzer-souffle
  CClyzer port to souffle lang
  ☆18Updated last year
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 3 years ago
• dtcxzyw / llvm-apr-benchmark
  A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs
  ☆15Updated this week
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆21Updated 3 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆144Updated 6 months ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆42Updated last month
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆39Updated 10 years ago