Alternatives and similar repositories for lya

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

• kbensh / koala
  A benchmark suite for performance-oriented shell-optimization research
  ☆10Updated last week
• neu-se / CONFETTI
  ☆22Updated 2 years ago
• UniCodeSphere / Creal
  ☆34Updated 8 months ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆74Updated 7 months ago
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆25Updated last year
• cristianstaicu / SecBench.js
  ☆31Updated 8 months ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆76Updated last year
• prosyslab / DAFL-artifact
  ☆42Updated 8 months ago
• TQRG / secbench
  🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)
  ☆40Updated 2 months ago
• n132 / ARVO-Meta
  ☆63Updated this week
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆96Updated last year
• arichardson / juliet-test-suite-c
  ☆79Updated 3 months ago
• MCFuzzer / MCFuzz
  Finding and Understanding Bugs in Software Model Checkers
  ☆8Updated 6 years ago
• YuanchengJiang / GraphGenie
  To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.
  ☆35Updated last year
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆81Updated 4 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆312Updated last month
• shao-hua-li / AFLplusplus-PGE
  ☆22Updated 2 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• Kyle-Kyle / top4grep
  find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)
  ☆186Updated 10 months ago
• s3c2 / vfcfinder
  VFCFinder: Searching for the Missing Vulnerability Fixing Commits
  ☆29Updated last year
• Practical-Formal-Methods / queryFuzz
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Updated 4 years ago
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆36Updated last year
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆110Updated 2 years ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆228Updated 3 years ago
• purs3lab / Argus
  ☆45Updated 11 months ago
• PurCL / LLMSCAN
  ☆27Updated 2 weeks ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆46Updated 11 months ago
• por-se / por-se
  ☆14Updated 3 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆54Updated last year