Alternatives and similar repositories for synthia

Users that are interested in synthia are comparing it to the libraries listed below

• patchloc / VulnLoc
  ☆12Updated 4 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 4 years ago
• ivicanikolicsg / SivoFuzzer
  Grey-box fuzzer SIVO
  ☆14Updated 3 years ago
• GeekMasher / security-codeql
  CodeQL Security Queries
  ☆27Updated last week
• eurecom-s3 / dissecting_afl
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Updated 2 years ago
• carter-yagemann / barnum-tracer
  The PT tracing portion of Barnum.
  ☆11Updated 6 years ago
• RUB-SysSec / PrimGen
  ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers
  ☆15Updated 6 years ago
• mboehme / learn2fix
  Human-In-The-Loop Automatic Program Repair
  ☆19Updated 5 years ago
• buszk / drifuzz-concolic
  ☆12Updated 3 years ago
• Tzer-AnonBot / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆13Updated 3 years ago
• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆18Updated 4 months ago
• MoonLight-SteinsGate / LearnAFL
  This is the project of LearnAFL.
  ☆28Updated 4 years ago
• Ljiee / deepfuzz
  ☆16Updated 5 years ago
• tammok / PRISMA
  Protocol Inspection and State Machine Analysis
  ☆24Updated 7 years ago
• trailofbits / itergator
  CodeQL library and queries for iterator invalidation
  ☆22Updated 4 years ago
• kppw99 / FuzzBuilderEx
  FuzzBuilderEx is a system to build seed corpus and fuzzing executables using the test framework automatically.
  ☆12Updated 2 years ago
• VulnLoc / VulnLoc
  ☆29Updated 3 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 4 years ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated 2 years ago
• andreafioraldi / QEMU-SanCov
  SanitizerCoverage hooks and coverage reports for user-mode QEMU
  ☆12Updated 5 years ago
• bin2415 / Bitype
  source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"
  ☆14Updated 6 years ago
• michaelbrownuc / llap
  LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…
  ☆14Updated 2 years ago
• hac425xxx / trapfuzzer-gdb
  A gdb for fuzzing
  ☆21Updated 3 years ago
• KnowSciEng / doop
  Doop - Framework for Java Pointer and Taint Analysis
  ☆19Updated 6 years ago
• puzhuoliu / Awesome-Concurrency-Vulnerability-Paper
  Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.
  ☆13Updated 2 years ago
• thuanpv / aflnwe
  ☆13Updated 4 years ago
• PoliCTF / sources2017
  Sources (and exploits) of (some of the) 2017 PoliCTF challenges - for more materials, see the writeups on our blog!
  ☆10Updated 6 years ago
• cryptomadco / fuzzingdriver
  aurora-d
  ☆20Updated 3 years ago
• cedricrupb / code_diff
  Fast AST based code differencing in Python
  ☆34Updated 5 months ago
• guidovranken / fuzzing-headers
  ☆13Updated 3 years ago