We propose building an AI tutoring agent designed specifically to answer student questions about static analysis CTF challenges, leveraging Retrieval-Augmented Generation (RAG) and a curated knowledge graph of program analysis concepts. This will be delivered as a web-based interactive tutoring system that allows students to ask natural language questions and receive grounded, consistent, and educationally structured answers
From code to findings: configure SAST, custom rules, and CI integration.
Leverage LLMs to prioritize findings and propose secure patches.
Language-specific labs: C/C++, Java, Python — with static analyzers.