Alternatives and similar repositories for lya

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

• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆37Updated last year
• cuhk-s3 / Creal
  ☆36Updated 5 months ago
• Practical-Formal-Methods / queryFuzz
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Updated 4 years ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆81Updated last week
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆63Updated last year
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆37Updated last year
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆196Updated 2 months ago
• sqlancer / bugs
  A list of bugs found by SQLancer
  ☆17Updated 2 years ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆72Updated last week
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆48Updated this week
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆27Updated last week
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆84Updated 5 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆33Updated 5 years ago
• cristianstaicu / SecBench.js
  ☆36Updated last year
• rindPHI / islearn
  ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
  ☆16Updated last year
• cs-au-dk / goat
  ☆22Updated 2 years ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆19Updated last year
• staticafi / symbiotic
  Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
  ☆335Updated last week
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 5 years ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆61Updated 8 months ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆236Updated 3 years ago
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆129Updated 3 years ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆84Updated 2 years ago
• arichardson / juliet-test-suite-c
  ☆112Updated 10 months ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆20Updated 4 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆84Updated this week
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Updated 5 years ago
• opalj / opal
  ☆74Updated 2 weeks ago