Where Did My Variable Go? Poking Holes in Incomplete Debug Information
Cristian Assaiante, Daniele Cono D’Elia, Giuseppe Antonio Di Luna, Leonardo Querzoni
Abstract
The availability of debug information for optimized executables can largely ease crucial tasks such as crash analysis. Source-level debuggers use this information to display program state in terms of source code, allowing users to reason on it even when optimizations alter program structure extensively. A few recent endeavors have proposed effective methodologies for identifying incorrect instances of debug information, which can mislead users by presenting them with an inconsistent program state.
Topics & Concepts
DebuggingComputer scienceExecutableSource codeProgramming languageState (computer science)Nexus (standard)Variable (mathematics)CrashDebuggerAlgorithmic program debuggingCode (set theory)Human–computer interactionSoftware engineeringEmbedded systemSet (abstract data type)MathematicsMathematical analysisAdvanced Malware Detection TechniquesSecurity and Verification in ComputingSoftware Testing and Debugging Techniques