LLVM-based Static Analysis Tool Using Type and Effect Systems

LLVM-based Static Analysis Tool Using Type and Effect Systems

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 th...

Full description

Bibliographic Details
Main Authors: M. A. Belyaev, V. A. Tsesko
Format: Article
Language:English
Published: Yaroslavl State University 2011-12-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
static program analysis
type and effect system
low level virtual machine
defect detection
ssa
Online Access:https://www.mais-journal.ru/jour/article/view/1097

Similar Items

Similar Items