Alternatives and similar repositories for valgrind

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

• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆54Updated 8 months ago
• RevEngAI / plugin-ghidra
  RevEng.AI Ghidra Plugin
  ☆154Updated this week
• DispatchCode / x64-Instruction-Decoder
  An x86/x64 instruction disassembler written in C
  ☆36Updated 2 months ago
• radareorg / r2yara
  yara and radare2, better together
  ☆27Updated 3 weeks ago
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆36Updated 2 years ago
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆125Updated last week
• FuturesLab / Bin2Wrong
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆59Updated 8 months ago
• ahaggard2013 / binaryninja-ollama
  ☆84Updated last year
• owenlly / Indirector_Artifact
  Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]
  ☆64Updated last year
• Vector35 / blob_extractor
  Identify and extract files from container formats using unblob.
  ☆26Updated last year
• vusec / slam
  Spectre based on Linear Address Masking
  ☆68Updated 2 years ago
• GaloisInc / MATE
  MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
  ☆194Updated 3 years ago
• cispa / GhostWrite
  Proof-of-concept for the GhostWrite CPU bug.
  ☆118Updated last year
• revng / demos
  The rev.ng demos
  ☆13Updated last week
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆56Updated last week
• hacktivesec / KRWX
  Kernel Read Write Execute
  ☆46Updated last year
• HEAPLab / ASPIS
  Automatic Software-based Protection and Integrity Suite
  ☆19Updated 5 months ago
• rizinorg / book
  An official book about Rizin
  ☆91Updated last week
• xorpse / parascope
  weggli ruleset scanner for source code and binaries
  ☆37Updated 2 months ago
• comsec-group / phoenix
  Artifacts for "Phoenix: Rowhammer Attacks on DDR5 with Self-Correcting Synchronization" (IEEE S&P '26)
  ☆59Updated 4 months ago
• elfmaster / shiva
  Shiva is a programmable dynamic linker for loading ELF microprograms
  ☆35Updated 2 years ago
• vusec / floatzone
  ☆70Updated last year
• Inception-framework / translator
  A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.
  ☆12Updated 3 years ago
• advanced-microcode-patching / shiva
  A custom ELF linker/loader for installing ET_REL binary patches at runtime
  ☆191Updated this week
• HexRaysSA / ida-hcli
  Hex-Rays CLI (HCLI)
  ☆47Updated this week
• LouisJenkinsCS / LLVM-Simple-GUI
  A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees …
  ☆17Updated 6 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆79Updated last week
• 0xADE1A1DE / AssemblyLine
  A C library and binary for generating machine code of x86_64 assembly language and executing on the fly without invoking another compiler…
  ☆203Updated last year
• tudasc / MetaCG
  MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
  ☆50Updated last week
• Fare9 / elfparser_e
  Example of an ELF parser to learn about the ELF format
  ☆10Updated last year