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

• intelpt / kAFL
  Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
  ☆12Updated 7 years ago
• tencentbladeteam / css_2019_tools
  Tools released in CSS 2019
  ☆38Updated 5 years ago
• JeffJerseyCow / qemu2drcov
  QEMU to drcov trace file
  ☆11Updated 4 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆27Updated 9 years ago
• JeffJerseyCow / fuzzle
  A stateful fuzzing engine.
  ☆46Updated 6 years ago
• gymgit / kernel-exploit-playground
  ☆14Updated 7 years ago
• andreafioraldi / QEMU-SanCov
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Updated 5 years ago
• pnfsoftware / PleaseROP
  Architecture-agnostic ROP gadget finder using JEB's IR
  ☆22Updated 7 years ago
• hunter-ht-2018 / bin2vex
  convert binary to VEX IR using the C interface provided by pyvex.
  ☆16Updated 2 years ago
• yrp604 / cfi
  Toy binaries to play with -fsanitize=safe-stack/cfi
  ☆9Updated 9 years ago
• tamirzb / CVE-2018-9539
  PoC code for CVE-2018-9539
  ☆18Updated 6 years ago
• andreafioraldi / taint-with-frida
  just an experiment
  ☆21Updated 6 years ago
• zer0mem / slides
  ☆8Updated 8 years ago
• maninfire / ruimyfuzzer
  ☆14Updated 6 years ago
• gamozolabs / aflbench
  An AFL scaling benchmarking tool
  ☆18Updated 4 years ago
• progmboy / kernel_vul_poc
  ☆31Updated 7 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 6 years ago
• tetrane / tetrane-oss
  Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.
  ☆19Updated last year
• S2E / libs2eplugins
  S2E plugins library
  ☆17Updated 5 years ago
• farosato / angr-antievasion
  Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
  ☆35Updated 7 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆31Updated 6 years ago
• alexhude / alfredworkflow-capkeystone
  Alfred Workflow to convert hex string to assembly and vice versa
  ☆24Updated 8 years ago
• vlad902 / kernel-uninitialized-memory-checker
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆59Updated 6 years ago
• bin2415 / Bitype
  source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"
  ☆14Updated 6 years ago
• renorobert / virtualbox-nat-dhcp-bugs
  ☆30Updated 6 years ago
• vanhauser-thc / afl-simulate
  Simulate afl-fuzz
  ☆16Updated 5 years ago
• vanhauser-thc / dynTaintTracer
  a taint tracer based on DynamoRIO, currently ARM only
  ☆40Updated 4 years ago