Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution)

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 Skinki¾?2.0 to analyse single and multi-threaded C programs.