SVF-tools / Simplified-STL

Related projects ⓘ

Alternatives and complementary repositories for Simplified-STL

• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 2 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆21Updated 4 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆37Updated this week
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆56Updated last week
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆25Updated 4 years ago
• sqlancer / bugs
  A list of bugs found by SQLancer
  ☆13Updated 9 months ago
• qingkaishi / context-sensitive-reachability
  Indexing reachability for context-sensitive data flow analysis.
  ☆11Updated 2 years ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆19Updated 2 weeks ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆19Updated 2 years ago
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆49Updated last year
• Generative-Program-Analysis / GenSym
  A high-performance, parallel, compilation-based symbolic execution engine
  ☆121Updated this week
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆41Updated 4 months ago
• kisslune / POCR
  ☆12Updated 4 months ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆56Updated 11 months ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆29Updated last month
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆27Updated 3 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆42Updated 2 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆137Updated 3 months ago
• jiangyy / rwtrace
  A shared memory dependence tracing tool for dynamic concurrent program analysis
  ☆12Updated 9 years ago
• ZJU-Automated-Reasoning-Group / smtfuzz
  A fuzzer for SMT solvers
  ☆19Updated last year
• tpchina / tpchina.github.io
  ☆15Updated last year
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆76Updated 4 years ago
• binsec / icse2021-artifact992
  ☆10Updated 3 years ago
• travitch / llvm-analysis
  A library for analyzing LLVM bitcode in Haskell
  ☆43Updated 10 years ago
• petablox / popl2020-tutorial
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Updated 4 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 4 years ago
• mmcloughlin / hellollvm
  Basic LLVM passes
  ☆17Updated 6 years ago