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
  ☆63Updated 3 months ago
• 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 4 years ago
• struct / isoalloc
  A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…
  ☆380Updated last year
• GaloisInc / grease
  CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
  ☆119Updated last week
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆149Updated 4 years ago
• KernelTestFramework / ktf
  Kernel Test Framework
  ☆145Updated 6 months ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆69Updated last year
• columbia / egalito
  Self-hosting binary instrumentation framework for security research
  ☆215Updated 2 years ago
• trailofbits / mishegos
  A differential fuzzer for x86 decoders
  ☆252Updated 10 months ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆89Updated last week
• marcan / speculation-bugs
  Docs and resources on CPU Speculative Execution bugs
  ☆376Updated 7 years ago
• google / centipede
  ☆253Updated 2 years ago
• brainsmoke / ptrace-burrito
  a friendly wrapper around ptrace
  ☆133Updated 3 years ago
• immunityinc / libptrace
  An event driven multi-core process debugging, tracing, and manipulation framework.
  ☆175Updated 5 years ago
• trailofbits / Honeybee
  An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite
  ☆129Updated 3 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆161Updated 2 years ago
• trailofbits / pasta
  Peter's Amazing Syntax Tree Analyzer
  ☆131Updated 11 months ago
• androidoffsec / baremetal_kasan
  ☆57Updated 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.
  ☆194Updated 2 years ago
• Kazhuu / asm2cfg
  Python command-line tool and GDB extension to view and save x86, ARM and objdump assembly files as control-flow graph (CFG) pdf files
  ☆77Updated last year
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆103Updated last month
• rimsa / CFGgrind
  A dynamic control flow graph (CFG) reconstruction plugin for valgrind.
  ☆125Updated 2 weeks ago
• comsec-group / retbleed
  Arbitrary Speculative Code Execution with Return Instructions
  ☆162Updated last year
• tlspuffin / tlspuffin
  A Dolev-Yao-model-guided fuzzer for TLS
  ☆143Updated last week
• ANSSI-FR / x509-parser
  a RTE-free X.509 parser
  ☆62Updated 2 years ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆18Updated 4 months ago
• GJDuck / LowFat
  Lean C/C++ Bounds Checking with Low-Fat Pointers
  ☆185Updated 3 years ago
• google / silifuzz
  ☆406Updated last week
• lifting-bits / fennec
  Rewriting functions in compiled binaries using McSema
  ☆89Updated 6 years ago
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Updated 8 months ago