Alternatives and similar repositories for optcomp:

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

• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• seahorn / llvm-dsa
  LLVM DSA fork for SeaHorn
  ☆21Updated 5 years ago
• tpchina / tpchina.github.io
  ☆17Updated this week
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• travitch / llvm-analysis
  A library for analyzing LLVM bitcode in Haskell
  ☆43Updated 10 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 2 years ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 6 years ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 11 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• tum-i4 / klee-install
  Step by step manual for building KLEE
  ☆18Updated 7 years ago
• llvm-mirror / poolalloc
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆30Updated 9 years ago
• uw-unsat / serval
  ☆47Updated 3 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆30Updated 5 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last month
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 4 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆30Updated 5 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆41Updated 4 months ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 8 years ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆28Updated 4 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆103Updated 4 months ago
• klee / klee-uclibc
  KLEE's version of uClibc
  ☆52Updated 10 months ago
• columbia / neongoby
  NeonGoby alias analysis checker
  ☆15Updated 11 years ago
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆19Updated 7 years ago
• Jonathan2251 / lbt
  Develop toolchain based on llvm to for Cpu0 processor
  ☆45Updated last year
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated last month
• jiangyy / rwtrace
  A shared memory dependence tracing tool for dynamic concurrent program analysis
  ☆12Updated 10 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆81Updated last month
• rpgzysb / OptimizingCompiler
  CMU 15745 with Xian Zhang
  ☆7Updated 7 years ago