Dhruthan M N
Student Researcher
PES University
Dhruthan M N is a student researcher at PES University with a strong focus on systems and networking. His primary interests center on network security and network software development.
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