Precise Detection of Uninitialized Variables Using Dynamic Analysis - Extending to Aggregate and Vector Types

摘要: Uninitialized variable is a in program that declared but not assigned definite known value before it used. Compilers of modern programming languages (like Java) check for their presence, like C and COBOL, they are critical reason incorrect results, wrong data entries, run-time failures. Tools based on static dynamic analysis techniques available detect use uninitialized variables. However, the tools face issue false positives (precision) while able to cover all classes variables (completeness). In this paper, we present technique results prototype tool first Using combination source binary instrumentation, track basic types, individual array elements, fields structures. We verified completeness precision using two open case-studies with very large input datasets. comparison other tools. The clear winner terms coverage variables, more work required further optimize size instrumentation information, performance its analyzer.