Our Project

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

Static analysis pipelines

Static Pipelines

From code to findings: configure SAST, custom rules, and CI integration.

AI triage and detectors

AI Triage

Leverage LLMs to prioritize findings and propose secure patches.

Secure coding labs

Secure Coding Labs

Language-specific labs: C/C++, Java, Python — with static analyzers.