Sapna V M
Associate Professor
PES University
Dr. Sapna V M is an Associate Professor in Computer Science and Engineering with 14+ years of academic and research experience. She has published several research papers in reputed journals and conferences and actively participates in cybersecurity and digital forensics initiatives including Black Hat.
Speaker sessions
Briefings and Arsenals | Confirmed Speakers | No Session Assigned
Placeholder session for confirmed speakers without an assigned session, allowing them to be pushed to Swapcard and Visit.
- 07:30
- Tue
- 01 Dec
Stage:
Briefing Stage 2
Sessions Type:
Keynote
MemGuard: AI-Powered Code Analysis for Memory Safety with Time-Travel Debugging
Memory corruption accounts for over 70% of critical vulnerabilities in C/C++ codebases, yet modern detection tools operate in silos and fail on custom memory allocators. MemGuard bridges this gap by unifying 15 detection engines into a single AI-powered, neuro-symbolic platform. In this session, we present MemGuard, an open-source framework featuring MemHint, a 3-stage pipeline combining tree-sitter parsing, local LLM classification (Ollama), and Z3 theorem proving to formally discover custom allocation wrappers and feed them directly into static analysis tools like Facebook Infer.We demonstrate MemGuard�s 4-pass AI analysis pipeline (triage, root cause, fix generation, step decomposition) backed by triple validation (pattern matching, CWE auto-correction, and Z3 mathematical verification). Additionally, we showcase time-travel debugging via Mozilla rr integrated with custom AI GDB commands (mg-ai, mg-why), interprocedural taint flow tracking to verify remote reachability, and automated binary hardening audits evaluating exploitability across missing protections.
- 17:40
- Tue
- 01 Dec
Stage:
Briefing Stage 2
Sessions Type:
Keynote