Alternatives and similar repositories for lya

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

• cristianstaicu / SecBench.js
  ☆33Updated 11 months ago
• purs3lab / Argus
  ☆48Updated last year
• n132 / ARVO-Meta
  ☆79Updated 2 weeks ago
• Aurore54F / DoubleX
  Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
  ☆76Updated 3 years ago
• Kyle-Kyle / top4grep
  find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)
  ☆187Updated last year
• arichardson / juliet-test-suite-c
  ☆88Updated 5 months ago
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆25Updated last year
• TQRG / secbench
  🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)
  ☆41Updated 4 months ago
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆124Updated 3 years ago
• ChatAFLndss / ChatAFL
  Large Language Model guided Protocol Fuzzing (NDSS'24)
  ☆350Updated 2 months ago
• cuhk-s3 / Creal
  ☆34Updated 2 weeks ago
• uleroboticsgroup / SVCP4CDataset
  Vulnerable Source Code Collected from Open Source Repositories for Dataset Generation
  ☆16Updated 4 years ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆82Updated last year
• JordanSamhi / AndroSpecter
  A library to facilitate the static analysis of Android apps
  ☆15Updated last month
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆25Updated 5 years ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆60Updated 3 months ago
• AIxCyberChallenge / sherpa
  Security Harness Engineering for Robust Program Analysis
  ☆82Updated 2 weeks ago
• Icyrockton / MegaVul
  MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset
  ☆118Updated 7 months ago
• s3c2 / vfcfinder
  VFCFinder: Searching for the Missing Vulnerability Fixing Commits
  ☆29Updated last year
• UTD-FAST-Lab / RevBugBench
  ☆32Updated last year
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• jderuiter / statelearner
  A tool that can be used to learn state machines from implementations.
  ☆65Updated 4 years ago
• GaloisInc / MATE
  MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
  ☆195Updated 2 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• neu-se / CONFETTI
  ☆22Updated 2 years ago
• ise-uiuc / KNighter
  Automatic checker synthesis for system-level static analysis
  ☆32Updated last week
• tree-wizard / fuzz-forest
  ☆26Updated 2 years ago
• aixcc-public / challenge-001-exemplar
  Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…
  ☆54Updated last year
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆65Updated last month
• vusec / einstein
  Practical Data-Only Attack Generation
  ☆41Updated last year