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
  ☆184Updated 6 years ago
• xiw / stack
  A static checker for identifying unstable code.
  ☆363Updated 10 years ago
• google / EXEgesis
  ☆281Updated 2 years ago
• emeryberger / Malloc-Implementations
  A collection of memory allocators
  ☆463Updated 4 months ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆224Updated 2 years ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆187Updated 3 years ago
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆116Updated 2 months ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆93Updated 7 years ago
• vmware / chap
  chap analyzes un-instrumented core files for leaks, memory growth, and corruption
  ☆390Updated 7 months ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 4 years ago
• aclements / libelfin
  C++11 ELF/DWARF parser
  ☆338Updated last year
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆156Updated 3 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 10 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆70Updated 11 years ago
• xiw / libo
  Integer arithmetic with overflow detection
  ☆73Updated 11 years ago
• kframework / c-semantics
  Semantics of C in K
  ☆321Updated 3 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆160Updated 8 years ago
• rizsotto / Constantine
  A plugin for Clang compiler
  ☆120Updated 4 years ago
• coccinelle / coccinellery
  ☆113Updated last year
• struct / isoalloc
  A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…
  ☆385Updated last month
• 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 2 years ago
• emeryberger / Heap-Layers
  Heap Layers: An Extensible Memory Allocation Infrastructure
  ☆408Updated 2 weeks ago
• leafsr / gcc-poison
  gcc-poison
  ☆195Updated 12 years ago
• davidmalcolm / gcc-python-plugin
  GCC plugin that embeds CPython inside the compiler
  ☆207Updated 4 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆124Updated last year
• dekimir / RamFuzz
  Combining Unit Tests, Fuzzing, and AI
  ☆302Updated 7 years ago
• nael8r / How-To-Write-An-LLVM-Register-Allocator
  This repository contains a tutorial for a quick start in how to write a register allocator using LLVM
  ☆278Updated 6 years ago
• GaloisInc / reopt
  A tool for analyzing x86-64 binaries.
  ☆337Updated last year
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆56Updated 3 years ago
• zwegner / x86-info-term
  A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses
  ☆128Updated 3 years ago