The Use of Dependencies for Improving the Precision of Program Static Analysis
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...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2011-12-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/1099 |
| _version_ | 1797877975277895680 |
|---|---|
| author | M. I. Glukhikh V. M. Itsykson V. A. Tsesko |
| author_facet | M. I. Glukhikh V. M. Itsykson V. A. Tsesko |
| author_sort | M. I. Glukhikh |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-10T02:25:21Z |
| format | Article |
| id | doaj.art-cf44a0a0331942d4bcfea222eca5d94b |
| institution | Directory Open Access Journal |
| issn | 1818-1015 2313-5417 |
| language | English |
| last_indexed | 2024-04-10T02:25:21Z |
| publishDate | 2011-12-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj.art-cf44a0a0331942d4bcfea222eca5d94b2023-03-13T08:07:31ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172011-12-011846879840The Use of Dependencies for Improving the Precision of Program Static AnalysisM. I. Glukhikh0V. M. Itsykson1V. A. Tsesko2Санкт-Петербургский государственный политехнический университетСанкт-Петербургский государственный политехнический университетСанкт-Петербургский государственный политехнический университет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.https://www.mais-journal.ru/jour/article/view/1099статический анализабстрактная интерпретацияанализ зависимостейобнаружение программных дефектов |
| spellingShingle | M. I. Glukhikh V. M. Itsykson V. A. Tsesko The Use of Dependencies for Improving the Precision of Program Static Analysis Моделирование и анализ информационных систем статический анализ абстрактная интерпретация анализ зависимостей обнаружение программных дефектов |
| title | The Use of Dependencies for Improving the Precision of Program Static Analysis |
| title_full | The Use of Dependencies for Improving the Precision of Program Static Analysis |
| title_fullStr | The Use of Dependencies for Improving the Precision of Program Static Analysis |
| title_full_unstemmed | The Use of Dependencies for Improving the Precision of Program Static Analysis |
| title_short | The Use of Dependencies for Improving the Precision of Program Static Analysis |
| title_sort | use of dependencies for improving the precision of program static analysis |
| topic | статический анализ абстрактная интерпретация анализ зависимостей обнаружение программных дефектов |
| url | https://www.mais-journal.ru/jour/article/view/1099 |
| work_keys_str_mv | AT miglukhikh theuseofdependenciesforimprovingtheprecisionofprogramstaticanalysis AT vmitsykson theuseofdependenciesforimprovingtheprecisionofprogramstaticanalysis AT vatsesko theuseofdependenciesforimprovingtheprecisionofprogramstaticanalysis AT miglukhikh useofdependenciesforimprovingtheprecisionofprogramstaticanalysis AT vmitsykson useofdependenciesforimprovingtheprecisionofprogramstaticanalysis AT vatsesko useofdependenciesforimprovingtheprecisionofprogramstaticanalysis |