[WiSe 2024/25] Project: Automatic Vulnerability Repair and Analysis

This project explores recent advances in automated software analysis and repair. Students will develop, implement, and evaluate techniques for analyzing source code, identifying security vulnerabilities, and creating patches automatically. The project is inspired by the DARPA AI Cyber Challenge (AIxCC) with the goal of building AI-driven tools for vulnerability analysis, identifying their capabilities, but also uncovering their limitations.