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☆31Updated 11 months ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆34Updated 10 months ago
- tool of llm-based indirect-call analyzer☆31Updated 11 months ago
- Code for the paper - Source Code Vulnerability Detection: Combining Code Language Models and Code Property Graph☆96Updated last year
- [2023 ASE] GAMMA: Revisiting Template-based Automated Program Repair via Mask Prediction☆23Updated 2 years ago
- Vision Transformer-Inspired Automated Vulnerability Repair☆19Updated 8 months ago
- VulTrigger is a tool to for identifying vulnerability-triggering statements across functions and investigating the effectiveness of funct…☆43Updated 2 years ago
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16Updated last year
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Updated 2 months ago
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆27Updated 2 years ago
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)☆78Updated 6 months ago
- This is the repository for the paper titled "ThinkRepair: Self-Directed Automated Program Repair" accepted by ISSTA'24.☆29Updated 3 weeks ago
- ☆154Updated 8 months ago
- Program Vulnerability Repair via Inductive Inference☆20Updated 2 years ago
- ☆90Updated 2 years ago
- Artifact for TOSEM Submission: GiantRepair☆12Updated last year
- Camera Ready copy of FuzzSlice v1 code for ICSE☆21Updated 2 years ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆180Updated 3 months ago
- An automatic API misuse checker for C programs!☆19Updated 6 years ago
- For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin …☆57Updated 3 years ago
- ✅SRepair: Powerful LLM-based Program Repairer with $0.029/Fixed Bug☆73Updated last year
- VulRepair: A T5-Based Automated Software Vulnerability Repair☆84Updated 8 months ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆38Updated last year
- Automated Benchmarking of LLM Agents on Real-World Software Security Tasks [NeurIPS 2025]☆55Updated last week
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆75Updated 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
- Awesome-LLM4SVD from "A Systematic Literature Review on Detecting Software Vulnerabilities with Large Language Models"☆57Updated 3 weeks ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆119Updated 5 months ago
- A tool based on python to parse C/C++ code into code property graph☆17Updated 3 years ago
- ☆30Updated 4 years ago