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...
Main Authors: | , , , |
---|---|
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 |