LLVM-based static analysis tool using type and effect systems

Abstract

Описано разрабатываемое средство статического анализа программного обеспечения. Основной идеей данного средства является использование систем типов и эффектов для статического анализа реальных программ. Средство использует формат промежуточного представления LLVM в качестве входного представления программы, таким образом, давая возможность анализировать программы на любых языках, поддерживаемых системой LLVM. Разбор указанного формата осуществляется встроенным парсером, позволяющим осуществить формирование внутренней модели программы, схожей с моделью LLVM. Целью создания описываемого средства является исследование возможностей построения методов статического анализа программ на основе известных алгоритмов, использующих системы типов и эффектов, путём применения этих алгоритмов к модели и опосредованно к исходному коду.

Static Vulnerability Analysis Using Intermediate Representations: A Literature Review

“…The use of IR in general program SA remains somewhat novel in application. A number of limited feasibility studies and experiments relating directly to general program analyses using IR are described below (Kataev et al, 2018;Belyaev et al, 2013;Ghime et al, 2022;Khaldi et al, 2016). Kataev et al (2018) provide insight into the state of the numerous and complex computational environments that exist today and the challenges that are posed by the automatic parallelization processes required to fit into these environments.…”

“…Type and Effect Systems in SA using IR Belyaev et al (2013) outline a novel system that implements type and effect systems to analyze programs using their derivative LLVM-IRs. As a feasibility study, this paper serves as means to determine whether such a tool is possible via the exploration of general concepts and a novel design.…”