rcorcs / fmsa

Related projects ⓘ

Alternatives and complementary repositories for fmsa

• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆51Updated 2 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆51Updated 2 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 10 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆13Updated 4 years ago
• lac-dcc / Angha
  Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
  ☆22Updated last year
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆134Updated 6 years ago
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆19Updated 7 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago
• compor / llvm-ir-cmake-utils
  LLVM IR CMake utils for bitcode file manipulation by opt and friends
  ☆68Updated last year
• DeadCodeProductions / dead
  ☆50Updated last year
• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆135Updated 3 years ago
• dinamite-toolkit / dinamite
  DINAMITE LLVM Pass
  ☆11Updated 7 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆161Updated 5 months ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆101Updated 2 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 2 years ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated 11 months ago
• mmcloughlin / hellollvm
  Basic LLVM passes
  ☆17Updated 6 years ago
• quarkslab / llvm-dev-meeting-tutorial-2015
  Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015
  ☆48Updated 7 years ago
• bwickman97 / ffmalloc
  ☆42Updated 2 years ago
• Mic92 / inspector
  Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.
  ☆14Updated 8 years ago
• brenocfg / AnghaBench
  A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.
  ☆91Updated 4 years ago
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆37Updated last year
• sampsyo / llvm-ei
  extensible interpreter for LLVM dynamic analyses
  ☆43Updated 11 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 4 years ago
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆33Updated 11 months ago
• canalcache / canal
  ☆16Updated 5 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…
  ☆68Updated 2 years ago
• grievejia / tpa
  Pointer Analysis with Tunable Precision
  ☆26Updated 8 years ago