This article is cited in 1 scientific paper (total in 1 paper)
The use of dependencies for improving the precision of program static analysis
M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko
Saint-Petersburg State Polytechnical University
The development of dependency analysis methods in order to improve static code analysis precision is considered in this paper. Reasons for precision loss is abstract interpretation methods when detecting defects in program source code are explained. The need for program object dependency extraction and interpretation is
justified by numerous real-world examples. A dependency classification is presented. The necessity for aggregate analysis of values and dependencies is considered. The dependency extraction from assignment statements is described. The dependency interpretation based on logic inference using logic and arithmetic
rules is proposed. The methods proposed are implemented in defect detection tool Digitek Aegis and significant increase of precision is shown.
static analysis, abstract interpretation, dependency analysis, program defect detection.
PDF file (385 kB)
M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko, “The use of dependencies for improving the precision of program static analysis”, Model. Anal. Inform. Sist., 18:4 (2011), 68–79
Citation in format AMSBIB
\by M.~I.~Glukhikh, V.~M.~Itsykson, V.~A.~Tsesko
\paper The use of dependencies for improving the precision of program static analysis
\jour Model. Anal. Inform. Sist.
Citing articles on Google Scholar:
Related articles on Google Scholar:
This publication is cited in the following articles:
Trifanov V.Yu., “Obnaruzhenie sostoyanii gonki v java-programmakh na osnove sinkhronizatsionnykh kontraktov”, Kompyuternye instrumenty v obrazovanii, 2012, no. 4, 16–29
|Number of views:|