Agentic Framework for Synthesizing CodeQL Queries
☆30Aug 28, 2026Updated 2 months ago
Alternatives and similar repositories for qlcoder
Users that are interested in qlcoder are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LLM <-- MCP --> CodeQL( AST | CFG | CLI | LSP )☆39Updated this week
- Source code for LLMxCPG paper☆165Mar 26, 2026Updated 7 months ago
- A terminal-first approach to CodeQL multi-repo variant analysis☆19Sep 30, 2026Updated last month
- Runtime verification system for Java, using AspectJ for instrumentation.☆11Oct 27, 2026Updated 2 weeks ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆16Nov 7, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A neurosymbolic framework for vulnerability detection in code☆446Updated this week
- Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.☆21Mar 18, 2026Updated 7 months ago
- Original workshops and staging area for new ones☆16Jul 3, 2025Updated last year
- ☆13Mar 19, 2022Updated 4 years ago
- Program the action in your Desmos graph to create animations for videos, presentations, etc.☆13Dec 16, 2021Updated 4 years ago
- Depstubber generates type-correct stubs for Go dependencies, for use in testing☆19Sep 10, 2026Updated 2 months ago
- Run CodeQL queries at scale using Multi-Repository Variant Analysis (MRVA)☆70Jul 3, 2026Updated 4 months ago
- ☆12Apr 22, 2023Updated 3 years ago
- 整理一些利用pocsuite3编写的poc和exp☆15Jan 26, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆17Feb 23, 2026Updated 8 months ago
- Official code of HAformer: Semantic fusion of hex machine code and assembly code for cross-architecture binary vulnerability detection.☆11Apr 14, 2025Updated last year
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆18Mar 12, 2020Updated 6 years ago
- 欺骗防御Linux版本Agent☆13Jul 26, 2021Updated 5 years ago
- ☆10Jan 15, 2021Updated 5 years ago
- Dynamic Vulnerability Discovery for Smart Contracts☆30Jul 12, 2023Updated 3 years ago
- ☆17Sep 4, 2023Updated 3 years ago
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 6 years ago
- Go static analysis tool that checks for security issues using an AST.☆29Nov 19, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- GH CLI CodeQL Scan Extension☆21Sep 4, 2025Updated last year
- A benchmark for evaluating AI agents on fixing real-world security vulnerabilities.☆15Jun 1, 2026Updated 5 months ago
- Scripts to automatically create VM images☆15Updated this week
- 面向中文食谱问答的端到端 RAG 工程实践，覆盖数据清洗与索引构建、混合检索、多轮状态管理、结构化生成，以及基于真实大模型服务的 Live E2E 测评闭环。☆32Jul 8, 2026Updated 4 months ago
- The PT tracing portion of Barnum.☆11Feb 8, 2019Updated 7 years ago
- ☆25Aug 9, 2021Updated 5 years ago
- ☆14Apr 23, 2019Updated 7 years ago
- Data race skeletons from Uber's Go codebase for research in concurrency bug detection and analysis.☆11May 27, 2025Updated last year
- Python implementation of SafeURL (Anti-SSRF Lib)☆11Aug 29, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- .net core implementation of Behinder Payload☆10Feb 6, 2025Updated last year
- [ICML 2026] The official repository for Anchored Policy Optimization: Mitigating Exploration Collapse via Support-Constrained Rectificati…☆16Mar 24, 2026Updated 7 months ago
- KitsuneC2 is a cross-platform adversary emulation tool written in Go.☆14Oct 25, 2024Updated 2 years ago
- A repository of code examples to accompany the LSU CSC7809/7700/47000 course on AI foundation models.☆13Apr 5, 2025Updated last year
- future-proof vulnerability detection benchmark, based on CVEs in open-source repos☆73Nov 6, 2026Updated last week
- Java archive implant toolkit.☆64Apr 20, 2025Updated last year
- An interactive way to learn threat modeling☆17Feb 14, 2019Updated 7 years ago
Are these results useful?