Pinned Loading

1. frame frame Public

   Frame is a Separation Logic Verification Tool with Security Scanning

   Python 1

2. autogrep autogrep Public

   Autogrep automates Semgrep rule generation and filtering by using LLMs to analyze vulnerability patches, enabling automatic creation of high-quality security rules without manual curation.

   Python 62 5

3. autofix autofix Public

   Static Analysis meets Large Language Models

   Python 53 3

4. botwall4j botwall4j Public

   A botwall for Java web applications

   Java 44 6