Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis
Ding Ye, Yulei Sui, Jingling Xue · 2014
Uninitialized variables can cause system crashes when used and security vulnerabilities when exploited. With source rather than binary instrumentation, dynamic analysis tools such as MSan can detect uninitialized memory uses at significantly reduced overhead but are still costly.