Enhancing Kernel Functional Safety Analysis with KS-nav
summary
ks-nav performs binary-level analysis of Linux kernel images using radare2 and debug info, stores cross references in a relational DB and renders four diagram types: function trace, subsystem graph, subsystem-to-subsystem interface arcs, and global/static data sharing. It uses the MAINTAINERS file for MAINTAINERS-driven subsystem mapping to pinpoint subsystems, highlights which functions touch which globals and points back to source lines when debuginfo exists, and the demo generates usable diagrams. Planned features include Git-based builds, indirect-call resolution heuristics, a graph database backend and improved web code browsing.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 1:25Purpose of KS-nav
- 2:50Need for KS-nav in kernel analysis
- 7:10Linux kernel subsystems
- 10:29KS-nav architecture
- 12:36Binary vs source analysis
- 14:47KS-nav for safety analysis
- 18:09Live demo of KS-nav
- 22:35Future KS-nav features
- 26:38Q&A
related talks
09mAspects of Dependable Linux Systems
42mDecoding Safe(ty) Linux Architectural Approaches for Critical Systems
24mAnalysing differences in kernel parameters
25mApplying Program Verification to Linux Kernel Code: Challenges, Practices, and...
45mRV: where are we?
14mSave what must be saved: Secure context switching with Sailor
21mAbstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
16mSEMSAN: a Configurable Sanitizer for Detecting System-Level Semantic Bugs