Alternatives and similar repositories for mitiGate:

Users that are interested in mitiGate are comparing it to the libraries listed below

• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆35Updated 5 years ago
• s3team / bincfp
  Efficient Multi-threaded Binary Code Control Flow Profiling Pintool
  ☆22Updated 8 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• sslab-gatech / kernel-analyzer
  ☆70Updated 5 years ago
• ijon-afl / ijon-data
  experiments for IJON
  ☆12Updated 5 years ago
• melynx / DOP-StaticAssist
  Public release of the tools used to assist in gadget finding.
  ☆41Updated 7 years ago
• winter2020 / kleespectre
  KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
  ☆33Updated 5 years ago
• junxzm1990 / afl-pt
  ☆53Updated 5 years ago
• Epeius / FFuzz
  ☆16Updated 6 years ago
• 0xddaa / pin
  Use Intel Pin tools to analysis binary.
  ☆37Updated 9 years ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆25Updated 6 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 6 years ago
• vlad902 / kernel-uninitialized-memory-checker
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆59Updated 6 years ago
• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆40Updated 5 years ago
• thebabush / fuzzilly
  Slow llvm tracing for the masses
  ☆14Updated 5 years ago
• GoSSIP-SJTU / k-hunt
  K-Hunt: Pinpointing Insecure Crypto Keys
  ☆44Updated 6 years ago
• HexHive / HexVASAN
  ☆16Updated 5 years ago
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆31Updated 7 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• vusec / typearmor
  Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks
  ☆46Updated 7 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆56Updated 6 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• LL-MM / approxis-groundtruth
  ☆30Updated 4 years ago
• pointer-authentication / parts-llvm
  PARTS / LLVM compiler
  ☆31Updated 5 years ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 3 years ago
• HexHive / CFIXX
  ☆28Updated 6 years ago
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆32Updated 5 years ago
• uCFI-GATech / ucfi-compiler
  ☆17Updated 5 years ago
• melynx / taintinduce
  TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.
  ☆58Updated 4 years ago