@inproceedings{38679f3e70e24d0c8cfa3d5ef46376e3,
title = "Skink: static analysis of programs in LLVM intermediate representation",
abstract = "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.",
author = "Franck Cassez and Sloane, {Anthony M.} and Matthew Roberts and Matthew Pigram and Pongsak Suvanpong and {de Aledo}, {Pablo Gonzalez}",
year = "2017",
doi = "10.1007/978-3-662-54580-5_27",
language = "English",
isbn = "9783662545799",
series = "Lecture notes in computer science",
publisher = "Springer, Springer Nature",
pages = "380--384",
editor = "Axel Legay and Tiziana Margaria",
booktitle = "Tools and algorithms for the construction and analysis of systems",
address = "United States",
note = "23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 ; Conference date: 22-04-2017 Through 29-04-2017",
}