Improving Precision in Static Analysis with LLMs
☆17Oct 12, 2026Updated 2 weeks ago
Alternatives and similar repositories for ZeroFalse
Users that are interested in ZeroFalse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jun 6, 2026Updated 4 months ago
- ☆22Mar 20, 2023Updated 3 years ago
- Pure-Go Java Decompiler and Serialization Operator☆27Updated this week
- ☆22Nov 11, 2022Updated 3 years ago
- Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.☆19Jul 9, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A pure TypeScript/JavaScript decompiler for Java bytecode. Runs in browsers and Node.js — no JVM, WebAssembly, or runtime dependencies.☆22Updated this week
- ☆23Aug 16, 2023Updated 3 years ago
- A manually vetted dataset for security vulnerability detection in Java projects☆118Aug 12, 2025Updated last year
- ☆31Sep 1, 2025Updated last year
- Source code for LLMxCPG paper☆165Mar 26, 2026Updated 7 months ago
- A simple chrome-extension for website fingerprint extraction☆18May 28, 2025Updated last year
- Rust 重构的 sRDI☆18Sep 9, 2024Updated 2 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆38Aug 17, 2023Updated 3 years ago
- 把AI安全从"艺术"变成"科学" - 全面的LLM安全工具包☆15Dec 28, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- AI-powered whitebox penetration testing plugin for Claude Code. 9 languages, 22 skills, 7 autonomous agents. STRIDE threat modeling, OWAS…☆25Jun 12, 2026Updated 4 months ago
- Out of Distribution, Out of Luck: How Well Can LLMs Trained on Vulnerability Datasets Detect Top 25 CWE Weaknesses?☆21Jan 23, 2026Updated 9 months ago
- Java JDK 8-18 CodeQL databases☆17Jun 2, 2024Updated 2 years ago
- 综合安全靶场框架 - CTF / AWD / 红蓝对抗☆19Oct 22, 2026Updated last week
- The source code of project "LLift" (Enhancing static analysis with LLM)☆87Mar 5, 2024Updated 2 years ago
- Java debugging for LLMs via JDWP and Model Context Protocol☆40Apr 28, 2026Updated 6 months ago
- Java CVE Vulnerability Environment☆45Jun 11, 2024Updated 2 years ago
- SpecAuditor: Generating Audit Specifications for LLM-Driven Bug Detection (S&P 2026)☆40Jun 8, 2026Updated 4 months ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆34Mar 11, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Fastjson + MySQL 条件下不出网利 用测试环境☆51Dec 6, 2025Updated 10 months ago
- Recent Paper About Bug Detection☆32Sep 27, 2019Updated 7 years ago
- All in one cybersecurity utility platform.☆26Apr 11, 2026Updated 6 months ago
- Tai-e assignments for static program analysis☆32Aug 5, 2022Updated 4 years ago
- ghost-bits-encoder 是一个面向 Woodpecker 的辅助插件，围绕 Ghost Bits / Unicode 高位包装思路，提供通用编解码、JSON 相关编码、URL 相关编码以及若干专项辅助能力。☆55May 15, 2026Updated 5 months ago
- 漏洞文库☆25Feb 1, 2024Updated 2 years ago
- ☆53Mar 25, 2025Updated last year
- use ptrace hook Hotspot JavaVM, instrument java bytecode☆34Sep 28, 2021Updated 5 years ago
- 移动端App安全测试MCP工具集 - 基于ADB、aapt、JADX的完整移动应用安全分析平台☆60Mar 4, 2026Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SecCodeBench is a benchmark suite focusing on evaluating the security of code generated by large language models (LLMs).☆135Oct 12, 2026Updated 2 weeks ago
- YongYou U8C deserialization file upload exploit tool targeting IPFxxFileService and IFileTrans services☆28Sep 28, 2025Updated last year
- 使用 Docker 一键构建 JDK 源码的 CodeQL 数据库，方便使用 CodeQL 查找 JDK 中的数据。☆26May 14, 2025Updated last year
- Composable Data and Type Generators for C++☆10Mar 25, 2019Updated 7 years ago
- ☆10Oct 9, 2020Updated 6 years ago
- cybersecurity toolbox☆10Dec 7, 2022Updated 3 years ago
- \ PowerAvails Powershell /☆10Jun 30, 2018Updated 8 years ago