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
id doaj-93bcb840829642eeafc02d77208e0bc3
record_format Article
spelling doaj-93bcb840829642eeafc02d77208e0bc32021-07-29T08:15:18ZengYaroslavl State UniversityModelirovanie i Analiz Informacionnyh Sistem1818-10152313-54172011-12-011844555838LLVM-based Static Analysis Tool Using Type and Effect SystemsM. A. Belyaev0V. A. Tsesko1Санкт-Петербургский государственный политехнический университетСанкт-Петербургский государственный политехнический университет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.https://www.mais-journal.ru/jour/article/view/1097static program analysistype and effect systemlow level virtual machinedefect detectionssa
collection DOAJ
language English
format Article
sources DOAJ
author M. A. Belyaev
V. A. Tsesko
spellingShingle M. A. Belyaev
V. A. Tsesko
LLVM-based Static Analysis Tool Using Type and Effect Systems
Modelirovanie i Analiz Informacionnyh Sistem
static program analysis
type and effect system
low level virtual machine
defect detection
ssa
author_facet M. A. Belyaev
V. A. Tsesko
author_sort M. A. Belyaev
title LLVM-based Static Analysis Tool Using Type and Effect Systems
title_short LLVM-based Static Analysis Tool Using Type and Effect Systems
title_full LLVM-based Static Analysis Tool Using Type and Effect Systems
title_fullStr LLVM-based Static Analysis Tool Using Type and Effect Systems
title_full_unstemmed LLVM-based Static Analysis Tool Using Type and Effect Systems
title_sort llvm-based static analysis tool using type and effect systems
publisher Yaroslavl State University
series Modelirovanie i Analiz Informacionnyh Sistem
issn 1818-1015
2313-5417
publishDate 2011-12-01
description 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.
topic static program analysis
type and effect system
low level virtual machine
defect detection
ssa
url https://www.mais-journal.ru/jour/article/view/1097
work_keys_str_mv AT mabelyaev llvmbasedstaticanalysistoolusingtypeandeffectsystems
AT vatsesko llvmbasedstaticanalysistoolusingtypeandeffectsystems
_version_ 1721256589687521280

Similar Items