Alternatives and similar repositories for s2e-linux-kernel

Users that are interested in s2e-linux-kernel are comparing it to the libraries listed below

• junxzm1990 / afl-pt
  ☆53Updated 5 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 6 years ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 3 years ago
• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆40Updated 6 years ago
• ijon-afl / ijon-data
  experiments for IJON
  ☆12Updated 5 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆38Updated 6 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆26Updated 10 years ago
• thebabush / honggfuzz-qemu
  Ditto.
  ☆17Updated 4 years ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆24Updated 6 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆37Updated 5 years ago
• adrianherrera / afl-mutation-graph
  Recover mutation graph from an AFL seed
  ☆60Updated 4 years ago
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆33Updated 7 years ago
• RICSecLab / AFLplusplus-cs
  ☆18Updated 3 years ago
• bin2415 / Bitype
  source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"
  ☆14Updated 6 years ago
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆24Updated 7 years ago
• nyx-fuzz / spec-fuzzer
  ☆42Updated 3 years ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 6 years ago
• vanhauser-thc / afl-dynamorio
  run AFL with dynamorio
  ☆37Updated 4 years ago
• vanhauser-thc / qemu_taint
  First level taint implementation with qemu for linux user mode
  ☆28Updated 4 years ago
• uds-se / pFuzzer
  The parser-directed Fuzzer
  ☆38Updated 4 years ago
• andreafioraldi / QEMU-SanCov
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Updated 5 years ago
• tencentbladeteam / css_2019_tools
  Tools released in CSS 2019
  ☆38Updated 5 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• gamozolabs / aflbench
  An AFL scaling benchmarking tool
  ☆18Updated 4 years ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated 2 years ago
• TeamVault / LLVM-CFI
  ☆12Updated 3 years ago
• trammell / bincfi
  Stony Brook University CFI library
  ☆21Updated 10 years ago
• sslab-gatech / perf-fuzz
  ☆96Updated 6 years ago