A Python framework for combining static analysis with LLM-based bug verification
-
Updated
May 11, 2026 - Python
A Python framework for combining static analysis with LLM-based bug verification
AI vulnerability verification demo using the Stage299 QSP/VEP Gate engine.
REMEDA Stage327: standardized reproduction evidence schema for AI vulnerability verification and reproducible audit evidence.
This project, developed with Python and PyQt6, involves creating an .exe application to verify and change vulnerability statuses, visualize results, and export new vulnerabilities.
Add a description, image, and links to the vulnerability-verification topic page so that developers can more easily learn about it.
To associate your repository with the vulnerability-verification topic, visit your repo's landing page and select "manage topics."