Alternatives and similar repositories for LLOV

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

• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆140Updated 4 years ago
• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆101Updated 3 months ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 5 years ago
• adrianherrera / llvm-cfg-to-json
  Exports an LLVM control flow graph (CFG) (including function calls) to JSON
  ☆24Updated 3 years ago
• ChrisCummins / ProGraML
  A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
  ☆319Updated last year
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆23Updated 2 years ago
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆15Updated 5 years ago
• nsumner / llvm-dataflow-analysis
  ☆66Updated 5 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆42Updated this week
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆29Updated 3 years ago
• DependableSystemsLab / LLFI
  LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…
  ☆76Updated 3 years ago
• bin2415 / llvm_DFGPass
  llvm Data Flow Graph dump
  ☆38Updated 4 years ago
• lihebi / LLVMCallGraph
  LLVM Call Graph
  ☆28Updated 4 years ago
• LLNL / dataracebench
  Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
  ☆69Updated last year
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆143Updated 7 years ago
• thu-pacman / Spindle
  ☆35Updated 2 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• michael-emmi / ct-fuzz
  ☆10Updated 4 years ago
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆51Updated 3 months ago
• haoNoQ / clang-analyzer-guide
  An easy guide to Clang Static Analyzer extension.
  ☆144Updated 5 years ago
• PL97 / LLVM-CFG-DFG-pass
  Simple passes for CFG and DFG analysis
  ☆44Updated 6 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆144Updated 7 months ago
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆19Updated 7 years ago
• grievejia / tpa
  Pointer Analysis with Tunable Precision
  ☆26Updated 9 years ago
• lijiansong / clang-llvm-tutorial
  clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…
  ☆273Updated 3 years ago
• yixin-09 / AutoRNP
  AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries
  ☆11Updated 6 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• shao-hua-li / CompDiff
  ☆36Updated 2 years ago
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆227Updated 6 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆78Updated this week