
evmbench-certora-agent-harness
Iterative agent harness that uses LLMs and Certora Prover to generate and refine smart-contract CVL specs, feeding verifier output back until success…

Iterative agent harness that uses LLMs and Certora Prover to generate and refine smart-contract CVL specs, feeding verifier output back until success…

Automate PowerShell script source code obfuscation & virtualization with a flexible Web API for Python (pip package).

Select Bugs From Binary Where Pattern Like CVE-1337-Days

UnauthScout is an OSINT (Open Source Intelligence) tool developed in Bash for passive exploration of assets on version control platforms (GitLab and…

A TypeScript package that provides AI-powered agents for Application Security (AppSec) tasks, built on top of the frontier models.

Patched version of the Expat XML parser library addressing multiple CVEs (CVE-2022-22822 through CVE-2022-22827) for AOSP 10 r33, providing…

CVE-2019-14900

Java library for string manipulation algorithms, packaged with a proof-of-concept exploit for CVE-2022-42889 to demonstrate and test the…

Java library for creating and extracting archives (ZIP, TAR, JAR) with support for various compression formats. Note: version 3.5 contains a fix for…

Java utility library with patched CVE-2022-4244 vulnerability, providing common helper classes for I/O, reflection, and CLI argument parsing in…

Jenkins plugin providing Git APIs for automated repository operations including fetch, checkout, merge, and tag, with support for credential-based…

Java testing framework for unit, integration, and end-to-end tests with annotations, data-driven testing, and parallel execution support.

Technical libraries for XWiki projects, providing reusable components for vulnerability analysis, code analysis, and static analysis across…

Java library providing technical commons for XWiki projects, with a focus on vulnerability analysis and static code inspection for security testing.

Technical Java libraries providing common utilities and components for the XWiki platform, including security vulnerability fixes and code analysis…

Generic wiki/HTML rendering system that converts textual input between syntaxes (wiki, HTML, XHTML). This repository contains a patched version…

One command to fix CVE-2025-66478 (React 2 Shell RCE) in your Next.js / React RSC app.

TinyXML 2.6.2 with fixes for CVE-2021-42260 and CVE-2023-34194