Alternatives and similar repositories for dinamite:

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

• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆51Updated 2 years ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated 2 years ago
• efeslab / huron
  A false sharing detection and repair tool
  ☆12Updated 5 years ago
• rcorcs / fmsa
  Function Merging & Branch Fusion
  ☆20Updated 5 years ago
• HexHive / memTrace
  memTrace, a framework for lightweight memory tracing
  ☆56Updated 5 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆95Updated 8 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 10 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆28Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 2 years ago
• frdwarf / dwarf-assembly
  ☆18Updated 5 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆26Updated 4 years ago
• sslab-gatech / cst-locks
  ☆14Updated 4 years ago
• UTSASRG / Guarder
  ☆13Updated 6 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆50Updated 10 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• UTSASRG / FreeGuard
  ☆35Updated 7 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• usi-systems / freud
  Freud, a tool to create Performance Annotations for C/C++ programs
  ☆21Updated 6 months ago
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆19Updated 7 years ago
• mars-research / lvd-linux
  ☆19Updated 2 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• mc-imperial / dredd
  A mutation testing tool designed to work with large C++ (and C) codebases.
  ☆13Updated this week
• efeslab / DMon-AE
  DMon Prototype for OSDI 2021 Artifact Evaluation
  ☆21Updated 3 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆17Updated 8 years ago
• tudinfse / sgxbounds
  SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
  ☆32Updated 7 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 4 years ago
• canalcache / canal
  ☆16Updated 5 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago