LLVM-based static analysis tool using type and effect systems
M. A. Belyaev, V. A. Tsesko
Saint-Petersburg State Polytechnical University
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, thus extending the set of analyzed languages to those supported by LLVM compiler infrastructure. It uses its own parser of bitcode files and a program model similar to that of LLVM. The
approach taken is to research feasibility of designing instruments for static analysis by applying known type and effect system based algorithms for detecting defects to LLVM bitcode language and effectively to the original source code.
static program analysis, type and effect system, low level virtual machine, defect detection, SSA.
PDF file (706 kB)
M. A. Belyaev, V. A. Tsesko, “LLVM-based static analysis tool using type and effect systems”, Model. Anal. Inform. Sist., 18:4 (2011), 45–55
Citation in format AMSBIB
\by M.~A.~Belyaev, V.~A.~Tsesko
\paper LLVM-based static analysis tool using type and effect systems
\jour Model. Anal. Inform. Sist.
Citing articles on Google Scholar:
Related articles on Google Scholar:
|Number of views:|