[TOSEM'26] Awesome-LLM4SVD from "A Systematic Literature Review on Detecting Software Vulnerabilities with Large Language Models"
☆75May 21, 2026Updated 3 weeks ago
Alternatives and similar repositories for Awesome-LLM4SVD
Users that are interested in Awesome-LLM4SVD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The official repo for the paper Can ChatGPT replace StackOverflow? A Study on Robustness and Reliability of Large Language Model Code Gen…☆20Feb 27, 2024Updated 2 years ago
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019☆10Jul 6, 2023Updated 2 years ago
- ☆10Sep 24, 2019Updated 6 years ago
- ☆14Jun 10, 2025Updated last year
- ☆37Oct 25, 2021Updated 4 years 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.
- The community's most comprehensive, continuously-updated index of research on Large Language Models for software vulnerability detection …☆1,069Updated this week
- ☆10May 8, 2024Updated 2 years ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- ☆28Aug 6, 2022Updated 3 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆14Nov 11, 2022Updated 3 years ago
- ☆23Sep 5, 2025Updated 9 months ago
- Codes of PostEdit☆23Apr 28, 2025Updated last year
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆15Dec 5, 2023Updated 2 years ago
- The code for ACM MM2024 (Multimodal Unlearnable Examples: Protecting Data against Multimodal Contrastive Learning)☆14Jul 18, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆18Oct 5, 2021Updated 4 years ago
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆27Mar 18, 2026Updated 3 months ago
- AdvAD: Exploring Non-Parametric Diffusion for Imperceptible Adversarial Attacks☆19May 12, 2025Updated last year
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆63Dec 2, 2024Updated last year
- 修复停止维护的Vxhunter IDA插件项目在python3高些的版本下运行的若干问题☆14Aug 26, 2024Updated last year
- Writeup for rwctf2019-final-printer☆14Dec 17, 2019Updated 6 years ago
- The first blockchain to support both the EVM and Ewasm virtual machines for current and next-gen Ethereum. Based on the CyberMiles blockc…☆16Dec 23, 2021Updated 4 years ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated last year
- ☆18Mar 28, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This experimetal fuzzer is meant to be used for API in-memory fuzzing on Android.☆17Nov 26, 2019Updated 6 years ago
- Official Implementation of the ACL2024 Findings paper "Controllable Data Augmentation for Few-Shot Text Mining with Chain-of-Thought Attr…☆18May 18, 2024Updated 2 years ago
- 白名单机制的本地HTTPS反向代理，可对HTTPS请求的SNI进行修改或去除以突破互联网封锁☆20May 26, 2025Updated last year
- ☆10Sep 12, 2022Updated 3 years ago
- ☆15Mar 22, 2021Updated 5 years ago
- ☆16Mar 10, 2026Updated 3 months ago
- ☆46Jan 23, 2022Updated 4 years ago
- Official code for EnvSDD (Environmental Sound Deepfake Detection)☆34May 17, 2026Updated last month
- [NeurIPS 2025 D&B] BackdoorDM: A Comprehensive Benchmark for Backdoor Learning in Diffusion Model☆27Aug 1, 2025Updated 10 months 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.
- The source code of project "LLift" (Enhancing static analysis with LLM)☆86Mar 5, 2024Updated 2 years ago
- [SEKE 2023] This is the implementation code of Heterogeneous Directed Hypergraph Neural Network (HDHGN) model in the paper Heterogeneous …☆23Aug 23, 2025Updated 9 months ago
- Detection of LLM-Generated Codes [ICSE2025]☆35Jul 5, 2025Updated 11 months ago
- A simple Mali 6xx/7xx register interface model that doesn't do any rendering.☆13Jan 29, 2016Updated 10 years ago
- fibos command line tool☆15Sep 12, 2018Updated 7 years ago
- A firmware base address search tool.☆48Jan 31, 2026Updated 4 months ago
- some useful scripts to solve pwn challenges in ctfs☆13Dec 29, 2020Updated 5 years ago