Summary
Computer programs today are essential to everything from smartphones and vehicles to national defense. However, the software that runs these systems is often large and complex, making it difficult to detect hidden problems before they cause real-world harm. Existing tools used to find flaws, such as bugs or vulnerabilities, can either miss important issues, report many false alarms, or take too long to run. This project will investigate how artificial intelligence, specifically Large Language Models (LLMs), which are systems trained to understand and generate text (including code), can assist
