Iterative static analysis algorithm for source code defects detection
Keywords:
Software Reliability, Software Defect Detection, Static Analysis, Interval Analysis, Points-To AnalysisAbstract
A method for combining different static analysis algorithms is proposed for source code defects detection in C programs. This method is based on an iterative algorithm which repeatedly executes the static analysis algorithms with step-by-step precision refinement. Iterative algorithm properties are compared to other possible techniques.
Published
2009-06-19
How to Cite
Moiseev, M. (2009). Iterative static analysis algorithm for source code defects detection. Information and Control Systems, (3), 33-39. Retrieved from http://proceedings.spiiras.nw.ru/index.php/ius/article/view/14846
Issue
Section
Hardware and software resources