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
• GeekMasher / security-codeql
  CodeQL Security Queries
  ☆27Updated last week
• mboehme / learn2fix
  Human-In-The-Loop Automatic Program Repair
  ☆19Updated 5 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 5 years ago
• tushartushar / ML4SCA
  Machine Learning for Source Code Analysis
  ☆17Updated last year
• tammok / PRISMA
  Protocol Inspection and State Machine Analysis
  ☆24Updated 7 years ago
• eurecom-s3 / dissecting_afl
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Updated 2 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
• puzhuoliu / Awesome-Concurrency-Vulnerability-Paper
  Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.
  ☆13Updated 2 years ago
• trailofbits / itergator
  CodeQL library and queries for iterator invalidation
  ☆22Updated 4 years ago
• awen-li / PolyFuzz
  Holistic Greybox Fuzzing of Multi-Language Systems
  ☆27Updated 2 years ago
• buszk / drifuzz-concolic
  ☆12Updated 3 years ago
• hmc-alpaqa / metrinome
  Create CFGs and compute complexity metrics for Python, C++, and Java code.
  ☆42Updated last year
• vasumv / bonsai-fuzzing
  ☆27Updated 2 years ago
• NTDXYG / DualSC
  code and data for paper "Automatic Generation and Summarization of Shellcode via Transformer and Dual Learning", which accepted in SANER …
  ☆13Updated 3 years ago
• VulnLoc / VulnLoc
  ☆30Updated 3 years ago
• AFLplusplus / symcc
  SymCC: efficient compiler-based symbolic execution
  ☆8Updated last year
• nus-apr / CrashRepair
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆19Updated 10 months ago
• binsec / icse2021-artifact992
  ☆10Updated 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
• subercui / CodeExp
  ☆16Updated 2 years ago
• aseec-lab / llms-for-code-analysis
  ☆31Updated 10 months ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆36Updated last year
• rabbitjy / FuzzTuning
  ☆25Updated last year
• ivicanikolicsg / SivoFuzzer
  Grey-box fuzzer SIVO
  ☆14Updated 4 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
• Lawliar / ConAFL
  AFL enhanced for concurrency bug and vulnerabilities
  ☆20Updated 4 years ago
• conffuzz / conffuzz
  ConfFuzz - Fuzzing for Interface Vulnerabilities
  ☆45Updated 2 years ago
• thuanpv / aflnwe
  ☆13Updated 4 years ago
• DES-Lab / Learning-Based-Fuzzing
  Using automata learning to mine models used for fuzzing of statefull systems
  ☆24Updated 4 years ago