Alternatives and similar repositories for compiler-crashes:

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

• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆33Updated 3 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 7 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 7 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• kcc / fuzzing-with-sanitizers
  Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.
  ☆28Updated 9 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 9 years ago
• nccgroup / TriforceOpenBSDFuzzer
  System call fuzzing of OpenBSD amd64 using TriforceAFL (i.e. AFL and QEMU)
  ☆46Updated 7 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆59Updated 8 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• hannob / bignum-fuzz
  Code to fuzz bignum libraries
  ☆45Updated 6 years ago
• samvartaka / crypto_backdoors
  Various cryptographic backdoors and tools to detect them
  ☆21Updated 9 years ago
• UnderhandedCrypto / entries
  A browsable archive of all Underhanded Crypto Contest entries.
  ☆34Updated 5 years ago
• pzread / symx
  Lightweight Symbolic Execution Engine
  ☆23Updated 9 years ago
• lifting-bits / codereason
  Semantic Binary Code Analysis Framework
  ☆125Updated 9 years ago
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 9 years ago
• kamou / pimp
  Triton based R2 plugin for concolic execution and total control
  ☆31Updated 6 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
• cocoahuke / maclook4ref
  Quickly find references to the specified Immediate number, or find the function call of specifies offset, and generate C++ functions call…
  ☆25Updated 8 years ago
• ouspg / ouspg-open
  OUSPG Open - Summer of Buzz with Fresh Blood, Alumni and Affiliates
  ☆20Updated 8 years ago
• GaloisInc / sat2015-crypto
  Slides and examples to accompany the September 25th invited talk at SAT 2015
  ☆14Updated 9 years ago
• intelxed / mbuild
  python-based build system used for building XED
  ☆31Updated 5 months ago
• wjlandryiii / MSP430
  MSP430 Microcontroller CPU plugin for Hopper Disassembler
  ☆12Updated 7 years ago
• roachspray / opcde2017
  Slides and very basic examples
  ☆111Updated 7 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• LogicalTrust / minerva_lib
  polish fuzzy lop - fuzzer for libraries/APIs/*
  ☆31Updated 2 years ago
• kvnesterov / IdaHaskell
  Allows to execute haskell code in Ida Pro.
  ☆27Updated 9 years ago
• felixwilhelm / xenpwn
  Xenpwn is a toolkit for memory access tracing using hardware-assisted virtualization
  ☆144Updated 8 years ago
• MozillaSecurity / quokka
  INACTIVE - http://mzl.la/ghe-archive - Quokka is a utility to launch and monitor application for faults.
  ☆40Updated 6 years ago
• XVilka / hacklu
  ☆38Updated 9 years ago
• RolfRolles / SynesthesiaYS
  Synesthesia, implemented as Yices scripts
  ☆94Updated 7 years ago