Visible to the public Visualizing the variational callgraph of the Linux Kernel: An approach for reasoning about dependenciesConflict Detection Enabled

TitleVisualizing the variational callgraph of the Linux Kernel: An approach for reasoning about dependencies
Publication TypeConference Proceedings
Year of Publication2016
AuthorsMomin Malik, Jurgen Pfeffer, Gabriel Ferreira, Christian Kästner
Conference NameHotSos '16 Proceedings of the Symposium and Bootcamp on the Science of Security
Date Published4/19/2016
PublisherACM New York, NY
Conference LocationPittsburgh, PA
Keywords#ifdef, Apr'16, callgraph, CMU, configuration complexity, dependencies, Linux kernel, visualization, vulnerabilities
Abstract

Software developers use #ifdef statements to support code configurability, allowing software product diversification. But because functions can be in many executions paths that depend on complex combinations of configuration options, the introduction of an #ifdef for a given purpose (such as adding a new feature to a program) can enable unintended function calls, which can be a source of vulnerabilities. Part of the difficulty lies in maintaining mental models of all dependencies. We propose analytic visualizations of thevariational callgraph to capture dependencies across configurations and create visualizations to demonstrate how it would help developers visually reason through the implications of diversification, for example through visually doing change impact analysis.

DOI10.1145/2898375.2898398
Citation Keynode-25981

Other available formats:

Malik_Visual_variational_callgraph_CK.pdf