Alternatives and similar repositories for c-compiler-security

Users that are interested in c-compiler-security are comparing it to the libraries listed below

• pkolbus / compiler-warnings
  A list of compiler warning flags for different GCC and clang versions
  ☆64Updated last month
• airbus-seclab / gustave
  GUSTAVE is a fuzzing platform for embedded OS kernels. It is based on QEMU and AFL (and all of its forkserver siblings). It allows to fuz…
  ☆200Updated 3 years ago
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆146Updated 4 years ago
• struct / isoalloc
  A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…
  ☆374Updated 10 months ago
• trailofbits / pasta
  Peter's Amazing Syntax Tree Analyzer
  ☆131Updated 8 months ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆158Updated 2 years ago
• google / centipede
  ☆253Updated 2 years ago
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆101Updated 6 months ago
• trou / cpu_rec_rs
  Determine which CPU architecture is used in a binary file.
  ☆119Updated 2 months ago
• KernelTestFramework / ktf
  Kernel Test Framework
  ☆143Updated 4 months ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆89Updated 6 months ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆70Updated last year
• jwilk / recidivm
  estimate peak virtual memory use
  ☆18Updated 2 months ago
• trailofbits / Honeybee
  An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite
  ☆129Updated 3 years ago
• comsec-group / retbleed
  Arbitrary Speculative Code Execution with Return Instructions
  ☆162Updated last year
• GaloisInc / MATE
  MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
  ☆193Updated 2 years ago
• androidoffsec / baremetal_kasan
  ☆46Updated last year
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆182Updated 3 years ago
• brainsmoke / ptrace-burrito
  a friendly wrapper around ptrace
  ☆132Updated 3 years ago
• immunityinc / libptrace
  An event driven multi-core process debugging, tracing, and manipulation framework.
  ☆175Updated 5 years ago
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆191Updated this week
• frestr / armshaker
  Processor fuzzer targeting the Armv8-A ISA
  ☆59Updated 2 years ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆318Updated 3 years ago
• columbia / egalito
  Self-hosting binary instrumentation framework for security research
  ☆213Updated last year
• vegard / prog-fuzz
  Compiler/source code fuzzing tool using AFL instrumentation
  ☆124Updated 6 years ago
• isec-tugraz / AEPIC
  ☆112Updated last year
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆281Updated last month
• lifting-bits / rellic
  Rellic produces goto-free C output from LLVM bitcode
  ☆560Updated last week
• trailofbits / mishegos
  A differential fuzzer for x86 decoders
  ☆251Updated 7 months ago
• cube0x8 / loadlibrary
  Porting Windows Dynamic Link Libraries to Linux
  ☆43Updated 3 years ago