microsoft / NeuralInvariantRankerLinks
Ranking LLM-Generated Loop Invariants for Program Verification.
☆13Updated last year
Alternatives and similar repositories for NeuralInvariantRanker
Users that are interested in NeuralInvariantRanker are comparing it to the libraries listed below
Sorting:
- Loop invariant generation with LLMs☆30Updated 9 months ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Updated last month
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆33Updated 9 months ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆75Updated 4 months ago
- For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin …☆56Updated 3 years ago
- An automatic API misuse checker for C programs!☆19Updated 6 years ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆37Updated last year
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆169Updated 2 months ago
- tool of llm-based indirect-call analyzer☆32Updated 10 months ago
- Awesome-LLM4SVD from "A Systematic Literature Review on Detecting Software Vulnerabilities with Large Language Models"☆43Updated this week
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆83Updated 2 months ago
- MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…☆21Updated 2 weeks ago
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16Updated last year
- A Reproducible Benchmark of Recent Java Bugs☆44Updated 4 months ago
- ☆24Updated last month
- ☆13Updated last year
- Parsing-based Analyzer☆61Updated 6 months ago
- VulTrigger is a tool to for identifying vulnerability-triggering statements across functions and investigating the effectiveness of funct…☆43Updated last year
- ☆30Updated 4 years ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆22Updated last year
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆112Updated 3 months ago
- Automated Benchmarking of LLM Agents on Real-World Software Security Tasks [NeurIPS 2025]☆46Updated 3 weeks ago
- VulRepair: A T5-Based Automated Software Vulnerability Repair☆83Updated 7 months ago
- Camera Ready copy of FuzzSlice v1 code for ICSE☆20Updated last year
- For our ISSTA23 paper "How Effective are Neural Networks for Fixing Security Vulnerabilities?" by Yi Wu, Nan Jiang, Hung Viet Pham, Thiba…☆41Updated 2 years ago
- Program Vulnerability Repair via Inductive Inference☆20Updated 2 years ago
- ☆90Updated 2 years ago
- ✅SRepair: Powerful LLM-based Program Repairer with $0.029/Fixed Bug☆71Updated last year
- Code for the paper - Source Code Vulnerability Detection: Combining Code Language Models and Code Property Graph☆95Updated last year
- A practical fuzzing tool for SMT solvers☆11Updated 3 weeks ago