sangkilc / ocaml-exploit

Related projects: ⓘ

• hitmoon / MyRop
  ☆29Updated this week
• sangkilc / ofuzz
  Fuzzing framework written in OCaml
  ☆31Updated 8 years ago
• pleed / pyqemu
  Dynamic binary instrumentation based crypto detection framework. Implementation of http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumbe…
  ☆18Updated 11 years ago
• programa-stic / ropc-llvm
  ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.
  ☆66Updated 10 years ago
• spiperac / armroper
  ARM rop chain gadget searcher
  ☆37Updated 6 years ago
• tylerha97 / capFunc
  ☆28Updated this week
• bnagy / francis
  LLDB engine based tool to instrument OSX apps and triage crashes
  ☆26Updated 8 years ago
• maurer / symfuzz
  ☆61Updated 8 years ago
• attekett / nipsu
  Crash repro minifier for ASan-instrumented commandline tools.
  ☆12Updated 4 years ago
• zardus / memcurses
  Memory awesomeness.
  ☆29Updated 9 years ago
• SeanHeelan / Malamute
  Malamute is a fuzzing toolkit initially developed to aid with regression-test based fuzzing of language interpreters
  ☆26Updated 8 years ago
• attekett / covFuzz
  covFuzz
  ☆33Updated 7 years ago
• c01db33f / reil
  REIL translation library
  ☆36Updated 8 years ago
• feliam / pysmtlib
  A python layer to interface with several SMTLIBv2 enabled SMT solvers
  ☆16Updated 9 years ago
• neuromancer / SEA
  ☆37Updated this week
• jonoberheide / stackjacking
  PoC code for our presentation titled "Stackjacking Your Way to grsec/PaX Bypass"
  ☆46Updated 13 years ago
• bnagy / aflfix
  Use any program to perform fixups for afl via AFL_POST_LIBRARY
  ☆11Updated 4 years ago
• eQu1NoX / PaddingOracle
  ☆10Updated this week
• c01db33f / concolica
  Python concolic execution framework for program analysis
  ☆65Updated 9 years ago
• niklasb / memfuzzing
  Memory fuzzing based on sinn3r's In Memory Fuzzer
  ☆26Updated 12 years ago
• CIFASIS / nosy-newt
  Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton
  ☆61Updated 7 years ago
• trailofbits / bisc
  Borrowed Instructions Synthetic Computation
  ☆70Updated 9 years ago
• BinaryAnalysisPlatform / bap-plugins
  BAP Plugins Repository
  ☆57Updated 3 years ago
• mechaphish / pov_fuzzing
  Our backup exploitation technique: fuzzing for POVs!
  ☆25Updated 8 years ago
• zcutlip / gdbinit-mips
  A gdbinit file that makes gdb much more usable for MIPS debugging.
  ☆39Updated 12 years ago
• anestisb / honggfuzz-android
  An Android port of the general purpose honggfuzz fuzzer
  ☆17Updated 9 years ago
• payatu / CVE-2015-6086
  PoC for CVE-2015-6086
  ☆67Updated 8 years ago
• ouspg / libfuzzerfication
  libfuzzerfication - fuzzing for the rest of us!
  ☆61Updated 7 years ago
• samuraictf / shuriken-framework
  SHURIKEN: Exploit throwing framework
  ☆36Updated 8 years ago
• nccgroup / TriforceOpenBSDFuzzer
  System call fuzzing of OpenBSD amd64 using TriforceAFL (i.e. AFL and QEMU)
  ☆45Updated 6 years ago