CodeQL+LLM进行漏洞检测
☆11Jun 16, 2024Updated 2 years ago
Alternatives and similar repositories for CodeQL-LLM
Users that are interested in CodeQL-LLM 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股分析工具！🎉 本项目通过实时监控川建国同志（Donald Trump）在Truth Social上的最新发言，运用三大顶级AI（通义千问、Grok、Gemini）进行深度分析，预测其对A股市场的影响，并自动发布到微信公众号。 友情提醒：如果你真…☆14Jun 5, 2025Updated last year
- Enhanced implementation of Kint in LLVM-14, in C++17.☆10May 2, 2022Updated 4 years ago
- ☆17Mar 18, 2026Updated 7 months ago
- Java Minesweeper☆11Mar 15, 2022Updated 4 years ago
- 计算机毕业设计Python+大模型Web漏洞扫描系统 网络安全 信息安全 机器学习 深度学习 大数据毕业设计 数据可视化 Python毕业设计 Python爬虫☆25Oct 28, 2024Updated 2 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.
- This is the repository for paper "Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing"…☆16Dec 10, 2024Updated last year
- Adaptive Verification of Patches at the Binary Level☆15Mar 19, 2026Updated 7 months ago
- ☆15Aug 11, 2025Updated last year
- The official implementation of the paper "Rethinking Pruning for Vision-Language Models: Strategies for Effective Sparsity".☆17Oct 2, 2026Updated 3 weeks ago
- 使用biaffine的中文命名实体识别☆10Jan 12, 2023Updated 3 years ago
- 华中科技大学网络空间安全学院2019级密码学课程设计☆10Oct 20, 2021Updated 5 years ago
- [ACM MM 2025] PUMA: Layer-Pruned Language Model for Efficient Unified Multimodal Retrieval with Modality-Adaptive Learning☆19Jun 6, 2026Updated 4 months ago
- SRC资产探测平台、整理收录国内外赏金厂商相关的互联网资产。☆81Aug 4, 2024Updated 2 years ago
- ☆14Apr 1, 2025Updated last year
- 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.
- The repository is designed to help you build intent classification for user queries, and also generate tags for AI chat responses.☆12Mar 29, 2024Updated 2 years ago
- TeXpert - the dataset designed to evaluate LLMs' capability to generate syntactically and logically correct LaTeX code from natural langu…☆14Sep 14, 2025Updated last year
- Malware detection with added explanability of AI through saliency map on Android APK using PyTorch and Androguard.☆12Feb 15, 2024Updated 2 years ago
- A framework to test the correctness of the Linux kernel patch.☆22Sep 29, 2023Updated 3 years ago
- Android malware classification using both .java files and .so files☆11Jan 19, 2019Updated 7 years ago
- Code and data for the ICSE 2025 paper "HumanEvo: An Evolving-aware Benchmark for More Realistic Evaluation of Repository-level Code Gener…☆13Feb 10, 2025Updated last year
- ReDeBug Source Code.☆25Dec 12, 2023Updated 2 years ago
- ☆24May 1, 2024Updated 2 years ago
- BeyongCms系统基于ThinkPHP5.1框架的轻量级内容管理系统，适用于企业Cms, 个人站长等，针对移动App、小程序优化；提供完善简洁的项目文档，方便开发人员进行二次开发。 支持模块式开发，方便平台扩展及第三方进行二次开发。专注于个人站长、中小企业客户，提供基础…☆13Jul 10, 2026Updated 3 months 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.
- 基于分片技术实现高性能区块链☆26Nov 23, 2020Updated 5 years ago
- ☆20Nov 27, 2023Updated 2 years ago
- Benchmarking platform for evaluating AI agents on CTF-style tasks and tool-use workflows.☆23Mar 14, 2026Updated 7 months ago
- Code for the CCS 2022 paper "Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels".☆17Oct 17, 2022Updated 4 years ago
- Fortify SonarQube Plugin☆22Jan 19, 2021Updated 5 years ago
- 一款集成 CodeQL 静态分析和 LLM (大语言模型) 智能验证的半自动化代码审计工具☆35Aug 14, 2026Updated 2 months ago
- SecureBinder 是一款跨平台二进制文件捆绑与加壳工具，支持将两个 .exe / .elf / .apk 文件合并为一个自解压自执行的单文件。工具内置 RC4 加密、zlib 压缩、PyInstaller 打包、UPX 二次压缩与沙箱检测机制，适用于软件封装、双程序…☆16Jun 29, 2025Updated last year
- ☆12Aug 2, 2024Updated 2 years ago
- AI agent for creating personalized digests of research papers☆31Updated this week
- 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.
- Effectiveness of additional training of an ANN based model in detectining android malware☆16Aug 7, 2019Updated 7 years ago
- Real-world infrastructure tasks to evaluate AI agents, starting with Kubernetes.☆18Jun 27, 2026Updated 4 months ago
- ☆39Dec 4, 2023Updated 2 years ago
- 2020HIT计算机网络个人资料总结☆11Aug 7, 2021Updated 5 years ago
- ucas course information for students majoring in computer architecture.☆18Jul 7, 2024Updated 2 years ago
- 哈工大信息安全专业实验报告及代码整理☆14Dec 23, 2018Updated 7 years ago
- A tool for automatically identifying syscall-guard variables☆38Feb 10, 2026Updated 8 months ago