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...
Na minha lista:
| Principais autores: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Yaroslavl State University
2011-12-01
|
| Colecção: | Моделирование и анализ информационных систем |
| Assuntos: | |
| Acesso em linha: | https://www.mais-journal.ru/jour/article/view/1099 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|