International Journal of Education and Management Engineering(IJEME)
ISSN: 2305-3623 (Print), ISSN: 2305-8463 (Online)
Published By: MECS Press
IJEME Vol.1, No.1, Jul. 2011
Method of Uninitialized Variable Detecting for C++ Program
Full Text (PDF, 143KB), PP.63-67
We present a testing approach which is a partially automated, partially manual inspection process that reports defects in C++ source code. In this paper we considered one of the faults type- uninitialized Variable- which the approach can detect. Uninitialized Variable is a common kind of error in programs written in C++, it often causes error result or system collapse. This paper analyses the classical C++ uninitialized variable errors, and describes a detecting method of uninitialized variable errors combining the advantage of ASI technology which based on static analysis.
Cite This Paper
Wan Lin,Liu Juan,Wang Qinzhao,Zhang Wei,"Method of Uninitialized Variable Detecting for C++ Program", IJEME, vol.1, no.1, pp.63-67, 2011.
David Evans. Static Detection of Dynamic Memory Errors[C]. USA: ACM Conference on Programming Language Design and Implementation, 1996. Page 44-52.
Nurit dor., Michael Rodeh, Mooly Sagiv. Detecting Memory Errors via Static Pointer Analysis. USA: ACM Special Interest Group on Programming Languages, 1995. Page13-22
Automated Software Inspection. Technical White Paper.
Dr. Josef Grosch. C++ Abstract Syntax. Technical White Paper.