Alternatives and similar repositories for kernel-intoverflow-taint-checker:

Users that are interested in kernel-intoverflow-taint-checker are comparing it to the libraries listed below

• yrp604 / cfi
  Toy binaries to play with -fsanitize=safe-stack/cfi
  ☆9Updated 9 years ago
• S2E / libs2eplugins
  S2E plugins library
  ☆17Updated 5 years ago
• intelpt / kAFL
  Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
  ☆12Updated 7 years ago
• JeffJerseyCow / fuzzle
  A stateful fuzzing engine.
  ☆45Updated 6 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆26Updated 10 years ago
• tetrane / tetrane-oss
  Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.
  ☆20Updated 2 years ago
• osirislab / imm-taint-trace
  Immunity Debugger Taint Tracer
  ☆20Updated 11 years ago
• ash09 / angr-static-analysis-for-vuzzer64
  Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool
  ☆21Updated 4 years ago
• zer0mem / slides
  ☆8Updated 8 years ago
• pnfsoftware / PleaseROP
  Architecture-agnostic ROP gadget finder using JEB's IR
  ☆22Updated 7 years ago
• cosine0 / amphitrite
  Symbolic debugging tool using JonathanSalwan/Triton
  ☆25Updated 6 years ago
• binjo / ghidra_scripts
  ghidra scripts
  ☆15Updated 4 years ago
• andreafioraldi / QEMU-SanCov
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Updated 5 years ago
• k33nteam / win32kescape
  ☆15Updated 9 years ago
• maninfire / ruimyfuzzer
  ☆14Updated 7 years ago
• tamirzb / CVE-2018-9539
  PoC code for CVE-2018-9539
  ☆18Updated 6 years ago
• progmboy / kernel_vul_poc
  ☆31Updated 7 years ago
• tencentbladeteam / css_2019_tools
  Tools released in CSS 2019
  ☆38Updated 5 years ago
• thebabush / honggfuzz-qemu
  Ditto.
  ☆17Updated 4 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆31Updated 7 years ago
• Baoqi / uni-trace
  Universal Trace Debugger Engine. Currently, only support windbg on Windows, but the long term goal is to also support GDB or LLDB
  ☆13Updated 11 years ago
• 5alt / emu
  code emulator base on unicorn engine
  ☆51Updated 7 years ago
• melbshark / relative-pattern
  Recover control flow graph from obfuscated codes
  ☆38Updated 9 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆70Updated 7 years ago
• ne2der / ANDROID_EXPTOOLKIT
  ☆12Updated 7 years ago
• hunter-ht-2018 / bin2vex
  convert binary to VEX IR using the C interface provided by pyvex.
  ☆16Updated 2 years ago
• jrjr / taint-parade
  taint tracer/analysis pintool
  ☆25Updated 10 years ago
• jerryxjtu / joker
  Joker is used to export xnu kernel's syscall symbols.
  ☆17Updated 10 years ago
• vessial / fw_decrypt
  ☆16Updated 6 years ago
• ernw / binja-ipython
  A plugin to integrate an IPython kernel into Binary Ninja.
  ☆29Updated 6 years ago