Portal de Periódicos da CAPES

Skink: Static Analysis of Programs in LLVM Intermediate Representation

2017; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-662-54580-5_27

1611-3349

Franck Cassez, Anthony M. Sloane, Matthew Roberts, Matthew Pigram, Pongsak Suvanpong, Pablo González de Aledo,

Logic, programming, and type systems

Skink is a static analysis tool that analyses the LLVM intermediate representation (LLVM-IR) of a program source code. The analysis consists of checking whether there is a feasible execution that can reach a designated error block in the LLVM-IR. The result of a program analysis is "correct" if the error block is not reachable, "incorrect" if the error block is reachable, or "inconclusive" if the status of the program could not be determined. In this paper, we introduce Skink 2.0 to analyse single and multi-threaded C programs.