Alternatives and similar repositories for dinamite

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

• rcorcs / fmsa
  Function Merging & Branch Fusion
  ☆19Updated 6 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆30Updated 5 years ago
• UTSASRG / FreeGuard
  ☆35Updated 7 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆54Updated 3 years ago
• usi-systems / freud
  Freud, a tool to create Performance Annotations for C/C++ programs
  ☆21Updated 10 months ago
• sslab-gatech / cst-locks
  ☆15Updated 4 years ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆69Updated 8 years ago
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆19Updated 7 years ago
• jiangyy / rwtrace
  A shared memory dependence tracing tool for dynamic concurrent program analysis
  ☆12Updated 10 years ago
• endplay / omniplay
  Arnold source code
  ☆46Updated 6 years ago
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 3 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆51Updated 10 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆59Updated 11 years ago
• Mic92 / inspector
  Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.
  ☆14Updated 8 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• mlaurenzano / PEBIL
  Fast static binary instrumentation for linux/x86
  ☆82Updated 8 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago
• efeslab / huron
  A false sharing detection and repair tool
  ☆14Updated 6 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 8 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 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
  ☆32Updated 5 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• ix-project / dune
  ☆31Updated 6 years ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆76Updated 4 years ago
• oscarlab / versioning
  Framework for creating simple, efficient, and composable lock-free data structures
  ☆12Updated 9 years ago
• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆139Updated 4 years ago
• deater / perfevent_overhead
  Overhead benchmarks for the perf_event subsystem
  ☆15Updated 10 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆97Updated 8 years ago