squaresLab / SemanticCrashBucketing

Related projects: ⓘ

• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 2 years ago
• Alan32Liu / Legion
  A coverage-based software testing tool
  ☆29Updated 3 years ago
• patchloc / VulnLoc
  ☆11Updated 3 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 3 years ago
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆22Updated 5 years ago
• eurecom-s3 / dissecting_afl
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆11Updated last year
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 5 years ago
• RUB-SysSec / PrimGen
  ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers
  ☆13Updated 5 years ago
• Dynamic-Rabbits / Dynamic-Rabbits
  ☆19Updated 2 years ago
• gamozolabs / hellscape
  Playground for testing feedback
  ☆15Updated 4 years ago
• buszk / drifuzz-concolic
  ☆11Updated 2 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆37Updated 5 years ago
• plum-umd / fuzzing-benchmarks
  The collection of programs for evaluating fuzzing techniques
  ☆19Updated 6 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆54Updated 5 years ago
• AFLplusplus / Commit-Fuzzing-Demo
  This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.
  ☆15Updated 4 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 5 years ago
• ijon-afl / ijon-data
  experiments for IJON
  ☆10Updated 5 years ago
• ash09 / angr-static-analysis-for-vuzzer64
  Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool
  ☆21Updated 4 years ago
• vandaltool / vandalir
  ☆22Updated 2 years ago
• Cycura / rtaint
  ☆19Updated this week
• uds-se / lFuzzer
  Fuzzing Parsers with Tokens
  ☆32Updated 3 years ago
• adrianherrera / afl-mutation-graph
  Recover mutation graph from an AFL seed
  ☆59Updated 3 years ago
• klecko / mips-fuzz
  MIPS32 emulation fuzzing
  ☆9Updated 3 years ago
• andreafioraldi / QEMU-SanCov
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Updated 4 years ago
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 3 years ago
• andreafioraldi / ConstrainedMemorySanitizer
  ☆13Updated 3 years ago
• gryan11 / PGA
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Updated 3 years ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆16Updated last year
• 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 6 years ago