Alternatives and similar repositories for mitiGate

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

• HexHive / datashield
  ☆17Updated 4 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆33Updated 8 years ago
• winter2020 / kleespectre
  KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling
  ☆34Updated 5 years ago
• GoSSIP-SJTU / k-hunt
  K-Hunt: Pinpointing Insecure Crypto Keys
  ☆44Updated 6 years ago
• s3team / bincfp
  Efficient Multi-threaded Binary Code Control Flow Profiling Pintool
  ☆22Updated 8 years ago
• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆40Updated 6 years ago
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆24Updated 7 years ago
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆37Updated 6 years ago
• 0xddaa / pin
  Use Intel Pin tools to analysis binary.
  ☆37Updated 9 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last month
• ijon-afl / ijon-data
  experiments for IJON
  ☆12Updated 6 years ago
• junxzm1990 / afl-pt
  ☆53Updated 6 years ago
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 4 years ago
• zhechkoz / PwIN
  Security Evaluation of Dynamic Binary Instrumentation Engines
  ☆80Updated 6 years ago
• relyze-ltd / LibTCGTranslate
  A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…
  ☆47Updated 5 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• heyitsanthony / vexllvm
  Decode machine code into VEX IR and translate into LLVM IR
  ☆28Updated 6 years ago
• securesystemslab / BinRec
  ☆32Updated 2 years ago
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• S2E / s2e-linux-kernel
  Linux kernels (CGC DECREE and vanilla) with S2E extensions
  ☆24Updated last year
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆33Updated 6 years ago
• melynx / DOP-StaticAssist
  Public release of the tools used to assist in gadget finding.
  ☆42Updated 7 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 5 years ago
• vusec / midfat
  ☆12Updated 4 years ago
• vlad902 / kernel-uninitialized-memory-checker
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆59Updated 6 years ago