Zobrazeno 1 - 2
of 2
pro vyhledávání: '"V. A. Tsesko"'
Autor:
M. A. Belyaev, V. A. Tsesko
Publikováno v:
Моделирование и анализ информационных систем, Vol 18, Iss 4, Pp 45-55 (2011)
The intention of this paper is to describe a static analysis tool under development. The principal idea behind the design of this tool is to use type and effect systems for static analysis of real programs. The tool uses LLVM bitcode files as input,
Externí odkaz:
https://doaj.org/article/93bcb840829642eeafc02d77208e0bc3
Publikováno v:
Моделирование и анализ информационных систем, Vol 18, Iss 4, Pp 68-79 (2011)
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.
Externí odkaz:
https://doaj.org/article/cf44a0a0331942d4bcfea222eca5d94b