This page lists research software and prototypes developed as part of my research in software engineering, program analysis, and intelligent systems for programming support, including both program-analysis–based and AI-assisted approaches. Unless otherwise noted, these systems are research prototypes.
SSD Tutor — First-stage research prototype for program-analysis–based instruction in secure software development.
SSD Tutor represents the first stage of our research on feedback-driven support for programming education. It is an interactive tutoring system that leverages program analysis to help students understand software design, debugging, and secure coding principles.
The system analyzes student code submissions to identify design flaws, logic errors, and security-relevant issues, and provides precise, actionable feedback grounded in static analysis results. SSD Tutor serves as a foundational platform for studying how program analysis can be effectively integrated into educational tools to improve learning outcomes in software engineering and security.
The empirical dataset used to evaluate SSD Tutor is publicly available on Figshare:
The dataset includes curated cryptographic API misuse examples, detection and repair results, aggregated statistics from 456 open-source projects, and anonymized user study data. It is provided to support reproducibility, comparative evaluation, and future research in secure software engineering.
If you use or build upon this software, please cite the corresponding publications or acknowledge the associated research projects where appropriate.