RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Model. Anal. Inform. Sist., 2011, Volume 18, Number 4, Pages 68–79 (Mi mais199)  

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

Abstract: 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.

Keywords: static analysis, abstract interpretation, dependency analysis, program defect detection.

Full text: PDF file (385 kB)
References: PDF file   HTML file
UDC: 004.415.5+004.416.2
Received: 15.09.2011

Citation: 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
\Bibitem{GluItsTse11}
\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.
\yr 2011
\vol 18
\issue 4
\pages 68--79
\mathnet{http://mi.mathnet.ru/mais199}


Linking options:
  • http://mi.mathnet.ru/eng/mais199
  • http://mi.mathnet.ru/eng/mais/v18/i4/p68

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    This publication is cited in the following articles:
    1. Trifanov V.Yu., “Obnaruzhenie sostoyanii gonki v java-programmakh na osnove sinkhronizatsionnykh kontraktov”, Kompyuternye instrumenty v obrazovanii, 2012, no. 4, 16–29  elib
  • Моделирование и анализ информационных систем
    Number of views:
    This page:203
    Full text:76
    References:23

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020