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...
में बचाया:
| मुख्य लेखकों: | , , |
|---|---|
| स्वरूप: | Artigo |
| भाषा: | Inglês |
| प्रकाशित: |
Yaroslavl State University
2011-12-01
|
| श्रृंखला: | Моделирование и анализ информационных систем |
| विषय: | |
| ऑनलाइन पहुंच: | https://www.mais-journal.ru/jour/article/view/1099 |
| टैग: |
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|