Alternatives and similar repositories for DieHard:

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

• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆179Updated 6 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆361Updated 10 years ago
• emeryberger / Malloc-Implementations
  A collection of memory allocators
  ☆448Updated 12 years ago
• aclements / libelfin
  C++11 ELF/DWARF parser
  ☆326Updated 10 months ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆181Updated 3 years ago
• google / kernel-sanitizers
  Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel
  ☆455Updated last week
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆219Updated last year
• emeryberger / Heap-Layers
  Heap Layers: An Extensible Memory Allocation Infrastructure
  ☆394Updated 2 weeks ago
• fay59 / fcd
  An optimizing decompiler
  ☆720Updated 4 years ago
• google / EXEgesis
  ☆280Updated 2 years ago
• StanfordPL / x64asm
  x86-64 assembler library
  ☆480Updated 4 years ago
• intel / yarpgen
  Yet Another Random Program Generator
  ☆504Updated 8 months ago
• google / kmsan
  KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel
  ☆411Updated 3 weeks ago
• struct / isoalloc
  A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…
  ☆374Updated 9 months ago
• kframework / c-semantics
  Semantics of C in K
  ☆314Updated 3 years ago
• StanfordPL / stoke
  STOKE: A stochastic superoptimizer and program synthesizer
  ☆765Updated last year
• checkedc / checkedc-clang
  This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers …
  ☆505Updated 6 months ago
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆110Updated 6 years ago
• dyninst / dyninst
  DyninstAPI: Tools for binary instrumentation, analysis, and modification.
  ☆769Updated this week
• google / centipede
  ☆253Updated last year
• dekimir / RamFuzz
  Combining Unit Tests, Fuzzing, and AI
  ☆301Updated 6 years ago
• andikleen / simple-pt
  Simple Intel CPU processor tracing on Linux
  ☆346Updated 2 years ago
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆279Updated 3 weeks ago
• vmware / chap
  chap analyzes un-instrumented core files for leaks, memory growth, and corruption
  ☆374Updated 2 weeks ago
• google / kafel
  A language and library for specifying syscall filtering policies.
  ☆314Updated 9 months ago
• S2E / s2e-old
  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  ☆314Updated 4 years ago
• intel / libipt
  libipt - an Intel(R) Processor Trace decoder library
  ☆677Updated 3 weeks ago
• microsoft / checkedc-llvm
  Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…
  ☆98Updated last year
• asmjit / asmdb
  Instructions database and utilities for X86/X64 and ARM (THUMB/A32/A64) architectures.
  ☆331Updated last year
• huku- / research
  Notes on various topics I'm interested in
  ☆158Updated 9 years ago