MLSA: a static bugs analysis tool based on LLVM IR

Program bugs may result in unexpected software error, crash or serious security attack. Static program analysis is one of the most common methods to find program bugs. In this paper we present MLSA -- a static analysis tool based on LLVM Intermediate Representation (IR), which can analyze programs w...

Full description

Bibliographic Details
Main Authors: Hongliang Liang, Lei Wang, Dongyang Wu, Jiuyun Xu
Format: Article
Language:English
Published: Atlantis Press 2016-06-01
Series:International Journal of Networked and Distributed Computing (IJNDC)
Subjects:
Online Access:https://www.atlantis-press.com/article/25859744.pdf