Alternatives and similar repositories for dinamite

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

• usi-systems / freud
  Freud, a tool to create Performance Annotations for C/C++ programs
  ☆21Updated last year
• canalcache / canal
  ☆16Updated 6 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆18Updated 9 years ago
• rcorcs / fmsa
  Function Merging & Branch Fusion
  ☆19Updated 6 years ago
• UTSASRG / FreeGuard
  ☆37Updated 7 years ago
• sampsyo / llvm-ei
  extensible interpreter for LLVM dynamic analyses
  ☆45Updated 12 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆99Updated 8 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆56Updated 3 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 3 years ago
• deater / deterministic
  code for examining determinism of performance counters
  ☆21Updated 4 years ago
• HexHive / memTrace
  memTrace, a framework for lightweight memory tracing
  ☆58Updated 5 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆15Updated 8 years ago
• LLNL / umap
  User-space Page Management
  ☆108Updated last year
• endplay / omniplay
  Arnold source code
  ☆46Updated 6 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆47Updated 3 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 6 years ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated 5 months ago
• benchmark-subsetting / cere
  CERE: Codelet Extractor and REplayer
  ☆40Updated 2 years ago
• LPD-EPFL / ssmem
  ssmem is a simple object-based memory allocator with epoch-based garbage collection
  ☆34Updated 9 years ago
• vabridgers / Austin-LLVM-Meetup-Material
  Presentations, Videos, and Sample Source from Austin LLVM Meetups
  ☆11Updated 5 years ago
• mc-imperial / dredd
  A mutation testing tool designed to work with large C++ (and C) codebases.
  ☆13Updated 2 weeks ago
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆17Updated 7 months ago
• numap-library / numap
  ☆21Updated last year
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆47Updated 3 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 6 years ago
• TheNetAdmin / LENS
  [MICRO'20] LENS: A Low-level NVRAM Profiler [USENIX Security'23] NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems
  ☆14Updated last year
• uw-unsat / serval
  ☆46Updated 3 years ago
• efeslab / huron
  A false sharing detection and repair tool
  ☆14Updated 6 years ago
• rems-project / rmem
  rmem public repo
  ☆48Updated 5 months ago