Alternatives and similar repositories for compiler-crashes

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

• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• intelxed / mbuild
  python-based build system used for building XED
  ☆32Updated 9 months ago
• kcc / fuzzing-with-sanitizers
  Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.
  ☆28Updated 9 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 7 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆46Updated 6 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆35Updated 4 years ago
• ouspg / ouspg-open
  OUSPG Open - Summer of Buzz with Fresh Blood, Alumni and Affiliates
  ☆20Updated 8 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• keystone-engine / placeholder
  A place holder for Keystone repo. See https://github.com/keystone-engine/keystone for the real stuff
  ☆67Updated 3 years ago
• intel / satt
  ☆74Updated 3 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• roachspray / opcde2017
  Slides and very basic examples
  ☆112Updated 8 years ago
• kamou / pimp
  Triton based R2 plugin for concolic execution and total control
  ☆33Updated 6 years ago
• nccgroup / TriforceOpenBSDFuzzer
  System call fuzzing of OpenBSD amd64 using TriforceAFL (i.e. AFL and QEMU)
  ☆46Updated 7 years ago
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 9 years ago
• REMath / implementations
  Implementations of program analysis tools with a focus on machine code
  ☆209Updated 10 years ago
• felixwilhelm / xenpwn
  Xenpwn is a toolkit for memory access tracing using hardware-assisted virtualization
  ☆144Updated 9 years ago
• GaloisInc / sat2015-crypto
  Slides and examples to accompany the September 25th invited talk at SAT 2015
  ☆14Updated 9 years ago
• aoh / blab
  a grammar-based data generator
  ☆60Updated 6 years ago
• lifting-bits / codereason
  Semantic Binary Code Analysis Framework
  ☆124Updated 9 years ago
• ScorchSecurity / systorm
  NASM Standard Library for shellcode
  ☆69Updated 9 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• arvinddoraiswamy / slid
  Statically linked Library detector
  ☆70Updated 10 years ago
• JonathanSalwan / abf
  Abstract Binary Format Manipulation - ELF, PE and Mach-O format
  ☆120Updated 10 years ago
• sciencemanx / ctf_import
  Run basic functions from stripped binaries cross platform
  ☆111Updated 8 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• klee / klee-web
  KLEE in the browser
  ☆53Updated last month
• Vector35 / asmx86
  ☆70Updated 3 years ago
• feliam / pysymemu
  An amd64 symbolic emulator
  ☆312Updated 3 years ago