Alternatives and similar repositories for lya

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

• UniCodeSphere / Creal
  ☆33Updated 7 months ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• arichardson / juliet-test-suite-c
  ☆80Updated 2 months ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• neu-se / CONFETTI
  ☆22Updated 2 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆54Updated last year
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆95Updated last year
• cristianstaicu / SecBench.js
  ☆31Updated 8 months ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆30Updated 5 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆63Updated 11 months ago
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆25Updated last year
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆23Updated 3 years ago
• mit-ll / Cross-Language-Attacks
  ☆26Updated 3 years ago
• mit-ll / HAKC
  ☆35Updated 3 years ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆76Updated last year
• cxreet / razor
  ☆39Updated 4 years ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆30Updated last year
• kbensh / koala
  A benchmark suite for performance-oriented shell-optimization research
  ☆9Updated this week
• shao-hua-li / AFLplusplus-PGE
  ☆22Updated 2 years ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 6 months ago
• n132 / ARVO-Meta
  ☆62Updated this week
• umnsec / typm
  ☆33Updated 2 years ago
• UTD-FAST-Lab / RevBugBench
  ☆31Updated last year
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆80Updated 4 years ago
• YuanchengJiang / GraphGenie
  To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.
  ☆33Updated last year
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆78Updated 2 years ago
• wcventure / PERIOD
  [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling
  ☆32Updated 2 years ago
• vandaltool / vandalir
  ☆24Updated 2 years ago
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆36Updated last year
• s3team / DeepFuzz
  ☆23Updated 4 years ago