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

• lcatro / klee-fl

  View on GitHub
  KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .
  ☆30Apr 7, 2019Updated 6 years ago
• vlad902 / kernel-uninitialized-memory-checker

  View on GitHub
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆58Jan 5, 2019Updated 7 years ago
• eurecom-s3 / dissecting_afl

  View on GitHub
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Oct 3, 2022Updated 3 years ago
• seclab-ucr / SyzGen_setup

  View on GitHub
  ☆47Oct 28, 2021Updated 4 years ago
• jesec / android_kernel_samsung_msm8998

  View on GitHub
  ☆10Jul 24, 2017Updated 8 years ago
• lucasduffey / binja_smali

  View on GitHub
  ☆11Mar 26, 2018Updated 7 years ago
• ctfhacker / ni-rs

  View on GitHub
  Radamsa written in c ported to Rust
  ☆11May 10, 2023Updated 2 years ago
• ptr-yudai / House-of-Husk

  View on GitHub
  PoC for House of Husk Exploit
  ☆13Apr 3, 2020Updated 5 years ago
• saaramar / echo_googlequals2020

  View on GitHub
  ☆12Sep 8, 2020Updated 5 years ago
• vanhauser-thc / libfuzzer-cov

  View on GitHub
  Get actually nice HTML coverage overview on libfuzzer runs
  ☆31Apr 21, 2023Updated 2 years ago
• decomp / doc

  View on GitHub
  Design documents related to the decompilation pipeline.
  ☆30Aug 25, 2025Updated 5 months ago
• vusec / triereme

  View on GitHub
  ☆17Aug 31, 2023Updated 2 years ago
• JeffJerseyCow / qemu2drcov

  View on GitHub
  QEMU to drcov trace file
  ☆11Nov 21, 2020Updated 5 years ago
• regehr / llvm-dataflow-info

  View on GitHub
  print information from LLVM dataflow analyses
  ☆13Jan 22, 2020Updated 6 years ago
• dvm-system / tsar

  View on GitHub
  TSAR (Traits Static AnalyzeR)
  ☆15May 3, 2024Updated last year
• tamirzb / CVE-2018-9539

  View on GitHub
  PoC code for CVE-2018-9539
  ☆20Nov 11, 2018Updated 7 years ago
• caballa / wrapped-intervals

  View on GitHub
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆11Dec 18, 2017Updated 8 years ago
• synacktiv / CVE-2021-1782

  View on GitHub
  ☆39Feb 10, 2021Updated 5 years ago
• slyd0g / SwiftParseTCC

  View on GitHub
  Use "Full Disk Access" permissions to read the contents of TCC.db and display it in human-readable format
  ☆40Jul 27, 2021Updated 4 years ago
• flankerhqd / descriptor-describes-toctou

  View on GitHub
  POCs for IOMemoryDescriptor racing bugs in iOS/OSX kernels
  ☆20Jan 8, 2017Updated 9 years ago
• claesmnyberg / netfuzz

  View on GitHub
  Network Traffic Fuzzer
  ☆17Dec 28, 2024Updated last year
• awruef / find-heartbleed

  View on GitHub
  clang checker to find heartbleed
  ☆86Apr 28, 2014Updated 11 years ago
• Systems-ShiftLab / pmfuzz

  View on GitHub
  A testcase generation tool for Persistent Memory Programs.
  ☆15Jul 19, 2021Updated 4 years ago
• vanhauser-thc / dynTaintTracer

  View on GitHub
  a taint tracer based on DynamoRIO, currently ARM only
  ☆41Mar 30, 2020Updated 5 years ago
• andreafioraldi / FuzzSplore

  View on GitHub
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆37Feb 6, 2021Updated 5 years ago
• bajinsheng / ReZZan

  View on GitHub
  ☆39Sep 27, 2022Updated 3 years ago
• sslab-gatech / DIE-corpus

  View on GitHub
  Corpus set used by DIE
  ☆41May 20, 2020Updated 5 years ago
• zhuowei / LearningIOSurfaceAccelerator

  View on GitHub
  Learning how to use IOSurfaceAccelerator
  ☆24Apr 9, 2023Updated 2 years ago
• vusec / safeinit

  View on GitHub
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26May 5, 2021Updated 4 years ago
• adrianherrera / ball-larus-fuzz

  View on GitHub
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Oct 31, 2022Updated 3 years ago
• suspended / Clang-Static-Analyzer-Checkers

  View on GitHub
  Clang Static Analyzer with use-after-free and double-free checkers
  ☆15Jul 24, 2015Updated 10 years ago
• demantz / frizzer

  View on GitHub
  Frida-based general purpose fuzzer
  ☆221Aug 13, 2020Updated 5 years ago
• DavidCatalan / fridacov

  View on GitHub
  JS modules for Frida based tools to add code coverage to your instrumentation scripts.
  ☆26Jan 16, 2019Updated 7 years ago
• Darkabode / possessor

  View on GitHub
  User-mode part of Zerokit platform
  ☆22Mar 30, 2019Updated 6 years ago
• gamozolabs / falkervisor_grilled_cheese

  View on GitHub
  ☆174Jun 24, 2022Updated 3 years ago
• google / asylo-examples

  View on GitHub
  ☆23Jun 9, 2021Updated 4 years ago
• grimm-co / linuxklee

  View on GitHub
  Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE
  ☆20Jan 29, 2020Updated 6 years ago
• uds-se / pFuzzer

  View on GitHub
  The parser-directed Fuzzer
  ☆40May 22, 2020Updated 5 years ago
• o-o-overflow / dc2019f-aoool-public

  View on GitHub
  ☆18Aug 14, 2019Updated 6 years ago