Agentic Framework for Synthesizing CodeQL Queries
☆26Aug 28, 2026Updated 2 weeks 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:
- A terminal-first approach to CodeQL multi-repo variant analysis☆17Jul 15, 2026Updated last month
- A neurosymbolic framework for vulnerability detection in code☆425Jul 2, 2026Updated 2 months ago
- Dolphin is a Python package that enables scalable neurosymbolic learning by performing probabilistic computations over the GPU.☆21Mar 18, 2026Updated 5 months ago
- Reproducing BugsInPy: Benchmarking Bugs in Python Projects☆13Sep 4, 2023Updated 3 years ago
- Measure Linux kernel's modified condition/decision coverage (MC/DC)☆13Jul 5, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated last year
- 整理一些利用pocsuite3编写的poc和exp☆15Jan 26, 2021Updated 5 years ago
- A Security Scanner for Go☆26Feb 11, 2019Updated 7 years ago
- Go static analysis tool that checks for security issues using an AST.☆29Nov 19, 2018Updated 7 years ago
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 6 years ago
- The PT tracing portion of Barnum.☆11Feb 8, 2019Updated 7 years ago
- Doing research on top of Jalangi☆12Sep 9, 2016Updated 10 years ago
- A repository of code examples to accompany the LSU CSC7809/7700/47000 course on AI foundation models.☆13Apr 5, 2025Updated last year
- Scripts to automatically create VM images☆15May 10, 2026Updated 4 months ago
- 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.
- Simple tool that allows you to detect imposter commits in GitHub Actions workflows.☆31Dec 17, 2024Updated last year
- Show the application of fuzzy in penetration test~☆13Mar 11, 2022Updated 4 years ago
- Python static analyzer☆11Dec 26, 2016Updated 9 years ago
- ☆12Aug 5, 2021Updated 5 years ago
- The RunBugRun dataset of executable bugs☆27Sep 24, 2025Updated 11 months ago
- ☆13Mar 19, 2022Updated 4 years ago
- A swarm of intelligent agents, in a shared environment, works together in an organized and purposeful manner to build results (discover v…☆25Apr 10, 2026Updated 5 months ago
- SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable pro…☆20Aug 9, 2021Updated 5 years ago
- A tool for analyzing the attack surface of an application☆19Mar 5, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An interactive way to learn threat modeling☆17Feb 14, 2019Updated 7 years ago
- ☆14Feb 18, 2025Updated last year
- Building RESTful API with Laravel [Video], published by Packt☆12Jan 15, 2021Updated 5 years ago
- Ransomware base in Java for all operating systems☆20Jun 13, 2017Updated 9 years ago
- ☆21Jun 4, 2026Updated 3 months ago
- 🦡 codebadger is a containerized Model Context Protocol (MCP) server that gives AI agents and LLMs deep, queryable access to a codebase's…☆167Aug 31, 2026Updated last week
- Two-Level Collaborative Fuzzing for Python Runtimes☆18Nov 25, 2023Updated 2 years ago
- ☆23Apr 6, 2019Updated 7 years ago
- CVE database☆21Sep 2, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆12Mar 15, 2024Updated 2 years ago
- Kantega Web Application Security Hero Challenge☆19Dec 3, 2020Updated 5 years ago
- 北航研究生信息系统课表导出为ical格式，可导入日历☆15Sep 19, 2024Updated last year
- An API to get the dependents for any Github repository☆15Jul 13, 2020Updated 6 years ago
- ☆13Jan 7, 2021Updated 5 years ago
- Tango: Extracting Higher-Order Feedback through State Inference☆16Aug 8, 2024Updated 2 years ago
- A simple Joern MCP Server.☆47Updated this week