Alternatives and similar repositories for lya:

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

• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆57Updated last week
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 9 months ago
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆23Updated last year
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆92Updated last year
• Aurore54F / HideNoSeek
  Static data flow-based analysis of JavaScript files to detect syntactic clones
  ☆23Updated 5 years ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆76Updated last year
• cxreet / razor
  ☆39Updated 4 years ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆30Updated 5 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆75Updated this week
• neu-se / CONFETTI
  ☆22Updated 2 years ago
• UniCodeSphere / Creal
  ☆32Updated 5 months ago
• YuanchengJiang / GraphGenie
  To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.
  ☆33Updated last year
• Kyle-Kyle / top4grep
  find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)
  ☆183Updated 7 months ago
• wtdcode / sand-aflpp
  Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"
  ☆14Updated last month
• isstac / badger
  ☆20Updated 6 years ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆79Updated 4 years ago
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆73Updated 2 years ago
• hub-se / BeDivFuzz
  ☆16Updated last month
• n132 / ARVO-Meta
  ☆54Updated 6 months ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆55Updated 4 months ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆55Updated last year
• umnsec / typm
  ☆33Updated last year
• TQRG / secbench
  🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)
  ☆38Updated 2 years ago
• umnsec / ndi
  Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs
  ☆14Updated 2 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 6 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆102Updated last year
• UTD-FAST-Lab / RevBugBench
  ☆28Updated last year
• RiS3-Lab / kubo
  Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…
  ☆23Updated 3 years ago
• prosyslab / DAFL-artifact
  ☆41Updated 5 months ago
• stan6 / se-paper
  ☆74Updated 2 years ago