Alternatives and similar repositories for incomplete-debuginfo:

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

• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆55Updated 4 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated 3 years ago
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated last year
• HexHive / HexVASAN
  ☆16Updated 5 years ago
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 2 years ago
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆66Updated 3 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆28Updated last year
• andreafioraldi / ConstrainedMemorySanitizer
  ☆13Updated 3 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆44Updated 4 years ago
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆32Updated 2 months ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆75Updated 4 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆43Updated 9 months ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆58Updated last year
• bda-tool / bda
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆28Updated 4 years ago
• binsec / rosa
  ROSA: Finding Backdoors with Fuzzing
  ☆18Updated 3 weeks ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆24Updated 6 years ago
• bajinsheng / ReZZan
  ☆37Updated 2 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated last week
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆14Updated 5 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• novafacing / libc-fuzzer
  A fuzzer setup to fuzz libc functions.
  ☆15Updated 2 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Updated 3 months ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated 2 weeks ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆57Updated 11 months ago
• vusec / dangzero
  ☆16Updated last year
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• SecurityLab-UCD / IRFuzzer
  [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation
  ☆13Updated last week