S2E / s2e-linux-kernel

Related projects: ⓘ

• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 2 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 4 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 5 years ago
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆23Updated 6 years ago
• gamozolabs / aflbench
  An AFL scaling benchmarking tool
  ☆18Updated 4 years ago
• andreafioraldi / QEMU-SanCov
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Updated 4 years ago
• reflare / afl-monitor
  A monitoring script for AFL
  ☆39Updated 7 years ago
• S2E / libs2ecore
  S2E Core Engine Library
  ☆15Updated 4 years ago
• RICSecLab / AFLplusplus-cs
  ☆17Updated 2 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 5 years ago
• ash09 / angr-static-analysis-for-vuzzer64
  Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool
  ☆21Updated 4 years ago
• thebabush / honggfuzz-qemu
  Ditto.
  ☆16Updated 4 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆34Updated 5 years ago
• ijon-afl / ijon-data
  experiments for IJON
  ☆10Updated 5 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 3 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆27Updated 9 years ago
• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆40Updated 5 years ago
• ertlnagoya / lwip-bug-finder
  lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).
  ☆14Updated last year
• vanhauser-thc / afl-simulate
  Simulate afl-fuzz
  ☆16Updated 5 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆37Updated 5 years ago
• o-o-overflow / dc2019q-LCARS000
  ☆18Updated 5 years ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 5 years ago
• tencentbladeteam / css_2019_tools
  Tools released in CSS 2019
  ☆38Updated 5 years ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆24Updated 5 years ago
• JeffJerseyCow / fuzzle
  A stateful fuzzing engine.
  ☆45Updated 5 years ago
• S2E / guest-images
  Scripts to automatically create VM images
  ☆14Updated 3 months ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆33Updated 3 years ago
• dpc-grindland / Fuzzgrind
  A fully automatic fuzzing tool for Valgrind, unofficial mirror for http://esec-lab.sogeti.com/pages/fuzzgrind.html
  ☆35Updated 9 years ago
• bx / bootloader_instrumentation_suite
  Bootloader research tools (very much a work in progress)
  ☆37Updated 5 years ago
• junxzm1990 / afl-pt
  ☆50Updated 5 years ago