A sophisticated tool that leverages Large Language Models (LLMs) in conjunction with static analysis to identify and address memory safety vulnerabilities in C++ programs from the ARVO dataset.
Follow the steps in data/README.md to get the data set up locally.
This project combines the power of modern AI with traditional static analysis techniques to detect and help resolve memory safety issues in C++ codebases. By utilizing the ARVO dataset as a benchmark, the tool provides targeted analysis of real-world applicable memory safety bugs.
This tool is designed to work with the ARVO dataset, a collection of C++ programs containing known memory safety vulnerabilities.