Alternatives and similar repositories for incomplete-debuginfo

Users that are interested in incomplete-debuginfo are comparing it to the libraries listed below

• SoftSec-KAIST / SURI

  View on GitHub
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆18Apr 1, 2025Updated 10 months ago
• RedlineResearch / floorplan

  View on GitHub
  Spatial layout specifications for memory management systems.
  ☆19Sep 2, 2020Updated 5 years ago
• anfedotoff / gdb-command

  View on GitHub
  Library for manipulating gdb in batch mode
  ☆21Mar 10, 2024Updated last year
• ntddk / vine

  View on GitHub
  Vine: The BitBlaze Static Analysis Component
  ☆26Sep 27, 2014Updated 11 years ago
• stp / OutputCheck

  View on GitHub
  A tool for checking tool output inspired by LLVM's FileCheck
  ☆12Aug 29, 2025Updated 5 months ago
• andreafioraldi / ConstrainedMemorySanitizer

  View on GitHub
  ☆15May 6, 2021Updated 4 years ago
• DefconRome / pltcov_groupcoding

  View on GitHub
  Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs
  ☆12Jan 18, 2022Updated 4 years ago
• rutgers-apl / fpsanitizer

  View on GitHub
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Jun 19, 2022Updated 3 years ago
• mhirki / idq-bench2

  View on GitHub
  Instruction decoder microbenchmark suite
  ☆11Oct 31, 2017Updated 8 years ago
• jaopaulolc / KernelFaRer

  View on GitHub
  KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls
  ☆12Sep 7, 2025Updated 5 months ago
• c4-project / c4f

  View on GitHub
  The C4 Concurrent C Fuzzer
  ☆14Nov 2, 2023Updated 2 years ago
• pietroborrello / RopMate

  View on GitHub
  ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.
  ☆27Feb 3, 2021Updated 5 years ago
• karineek / CsmithEdge

  View on GitHub
  A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …
  ☆17Jul 24, 2025Updated 6 months ago
• srg-imperial / GrayC

  View on GitHub
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆62Jan 28, 2026Updated 2 weeks ago
• davidhildenbrand / drob

  View on GitHub
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆26Feb 19, 2020Updated 5 years ago
• ptliu / tandoph

  View on GitHub
  A compiler synthesizer for simple languages.
  ☆15Dec 18, 2018Updated 7 years ago
• hasanmdme / decap

  View on GitHub
  This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…
  ☆14Oct 26, 2022Updated 3 years ago
• dcdelia / dbi-detector

  View on GitHub
  Collection of DBI evasion techniques
  ☆16Jan 25, 2022Updated 4 years ago
• cverified / cbench

  View on GitHub
  A benchmark for C program verification
  ☆17Feb 22, 2024Updated last year
• rmmh / whomp

  View on GitHub
  reverse engineering branch predictors
  ☆18Feb 28, 2016Updated 9 years ago
• katamaran-project / katamaran

  View on GitHub
  Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…
  ☆18Updated this week
• rshariffdeen / FixMorph

  View on GitHub
  FixMorph is a morphing tool for C source codes which supports automated code-transfer
  ☆35Apr 9, 2025Updated 10 months ago
• trailofbits / macroni

  View on GitHub
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Aug 14, 2024Updated last year
• ssrg-vt / FoxDec

  View on GitHub
  Formally verified x86-64 decompilation
  ☆44Feb 2, 2026Updated 2 weeks ago
• compiler-research / idd

  View on GitHub
  A System for Differential Debugging
  ☆22Apr 10, 2025Updated 10 months ago
• rlu-sync / rlu-rht

  View on GitHub
  RLU resizable hash-table
  ☆17Aug 24, 2015Updated 10 years ago
• ishiura-compiler / CF3

  View on GitHub
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Jul 6, 2017Updated 8 years ago
• bpfverif / agni

  View on GitHub
  ☆48Jan 25, 2026Updated 3 weeks ago
• IITH-Compilers / LLVM-Loop-Profiler

  View on GitHub
  ☆15Feb 27, 2019Updated 6 years ago
• jcdutton / reference

  View on GitHub
  Reference material for libbeauty
  ☆25Aug 6, 2022Updated 3 years ago
• dslab-epfl / tpot

  View on GitHub
  Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)
  ☆24May 7, 2025Updated 9 months ago
• cgvwzq / polca

  View on GitHub
  Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.
  ☆16Apr 21, 2020Updated 5 years ago
• GaloisInc / renovate

  View on GitHub
  A library for binary analysis and rewriting
  ☆49Sep 28, 2023Updated 2 years ago
• frdwarf / dwarf-assembly

  View on GitHub
  ☆20Sep 27, 2019Updated 6 years ago
• vusec / safeinit

  View on GitHub
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26May 5, 2021Updated 4 years ago
• plasma-umass / memory-landscape

  View on GitHub
  The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).
  ☆20Mar 22, 2021Updated 4 years ago
• PRAISE-group / Chiron-Framework

  View on GitHub
  Chiron Framework for PAVT Teaching
  ☆20Jan 10, 2026Updated last month
• eliben / radgrad

  View on GitHub
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆27Feb 2, 2025Updated last year
• stephenrkell / elftin

  View on GitHub
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆18Nov 25, 2025Updated 2 months ago