Alternatives and similar repositories for llvm-epp

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

• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• nsumner / llvm-dataflow-analysis
  ☆63Updated 5 years ago
• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆139Updated 4 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• goyalankit / compilers-and-llvm
  LLVM optimization passes (DCE, LICM), compilers and stuff
  ☆13Updated 4 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆41Updated 5 months ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 2 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 5 years ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆100Updated 2 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆66Updated 9 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆59Updated 11 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 5 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆246Updated last year
• canalcache / canal
  ☆16Updated 5 years ago
• rcorcs / fmsa
  Function Merging & Branch Fusion
  ☆19Updated 6 years ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆21Updated 3 years ago
• grievejia / tpa
  Pointer Analysis with Tunable Precision
  ☆26Updated 9 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆30Updated 5 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆137Updated 6 years ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated last year
• thu-pacman / Spindle
  ☆32Updated last year
• spectector / spectector
  Automatic detection of speculative information flows
  ☆68Updated 3 years ago
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆15Updated 5 years ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆38Updated last year
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated 11 months ago
• alastairreid / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆41Updated last week
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 4 months ago