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.
  ☆362Updated 10 years ago
• google / EXEgesis
  ☆281Updated 2 years ago
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆113Updated 6 years ago
• emeryberger / Malloc-Implementations
  A collection of memory allocators
  ☆456Updated 12 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆221Updated 2 years ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆155Updated 2 years ago
• aclements / libelfin
  C++11 ELF/DWARF parser
  ☆329Updated last year
• emeryberger / Heap-Layers
  Heap Layers: An Extensible Memory Allocation Infrastructure
  ☆400Updated last month
• nelhage / ministrace
  A minimal toy implementation of strace(1)
  ☆177Updated 2 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• rizsotto / Constantine
  A plugin for Clang compiler
  ☆119Updated 3 years ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆185Updated 3 years ago
• vmware / chap
  chap analyzes un-instrumented core files for leaks, memory growth, and corruption
  ☆380Updated 2 months ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆85Updated 3 years ago
• struct / isoalloc
  A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…
  ☆378Updated last year
• mattbierner / Template-Assembly
  Embedding x86 assembly code in C++ with metaprogramming using a domain specific language.
  ☆187Updated 9 years ago
• lvc / vtable-dumper
  A tool to list content of virtual tables in a shared library
  ☆125Updated 4 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆315Updated 3 years ago
• jdmccalpin / low-overhead-timers
  Very low-overhead timer/counter interfaces for C on Intel 64 processors.
  ☆135Updated 5 years ago
• lttng / lttng-ust
  This repo is a mirror of the official lttng-ust git found at git://git.lttng.org/lttng-ust.git. LTTng-UST, the Linux Trace Toolkit Next G…
  ☆135Updated last month
• asmjit / asmdb
  Instructions database and utilities for X86/X64 and ARM (THUMB/A32/A64) architectures.
  ☆332Updated last year
• yosefk / checkedthreads
  checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking
  ☆294Updated 11 years ago
• eklitzke / demangle
  Tool to demangle C++ symbols.
  ☆58Updated 2 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆160Updated 7 years ago
• skeeto / ptrace-examples
  Examples for Linux ptrace(2)
  ☆137Updated last year
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• andikleen / simple-pt
  Simple Intel CPU processor tracing on Linux
  ☆349Updated 2 years ago
• google / kmsan
  KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel
  ☆415Updated 4 months ago
• fay59 / fcd
  An optimizing decompiler
  ☆727Updated 4 years ago