Alternatives and similar repositories for valgrind

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

• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆79Updated last week
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated last year
• LaurieWired / BinderIPC
  Supporting code and apps for demonstrating Android interprocess communication
  ☆42Updated last year
• cispa / GhostWrite
  Proof-of-concept for the GhostWrite CPU bug.
  ☆118Updated last year
• 0xSh4dy / learning_llvm
  ☆90Updated last year
• Vector35 / blob_extractor
  Identify and extract files from container formats using unblob.
  ☆26Updated last year
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆54Updated 8 months ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆56Updated last week
• michalpaszkowski / LLVM-Canon
  LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…
  ☆31Updated last year
• Fare9 / elfparser_e
  Example of an ELF parser to learn about the ELF format
  ☆10Updated last year
• rizinorg / book
  An official book about Rizin
  ☆91Updated last week
• DispatchCode / x64-Instruction-Decoder
  An x86/x64 instruction disassembler written in C
  ☆36Updated 2 months ago
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆125Updated last week
• xlauko / lart
  LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…
  ☆19Updated 2 years ago
• RevEngAI / plugin-ghidra
  RevEng.AI Ghidra Plugin
  ☆151Updated last week
• FuturesLab / Bin2Wrong
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆59Updated 8 months ago
• vusec / floatzone
  ☆70Updated last year
• 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.
  ☆195Updated 3 years ago
• 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
• aengelke / disarm
  Disarm — Fast AArch64 Decode/Encoder
  ☆45Updated last year
• UnitTestBot / UTBotCpp
  Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
  ☆182Updated last year
• toddmaustin / kevlar
  KEVLAR memory defenses.
  ☆17Updated 10 months ago
• amilarajans / ghidra_scripts
  A collection of some useful Ghidra scripts
  ☆34Updated 4 years ago
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆57Updated 2 years ago
• 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
• tudasc / MetaCG
  MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
  ☆50Updated last week
• psifertex / terminal_velocity
  CTF Challenge for CSAW Finals 2021
  ☆13Updated 4 years ago
• owenlly / Indirector_Artifact
  Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]
  ☆64Updated last year
• torshepherd / compiler-explorer-mcp
  ☆15Updated 4 months ago
• anthonyshibitov / netdis
  Web based binary analysis
  ☆89Updated last year