The Skink Static Analysis Tool

Franck Cassez, Anthony Sloane, Matthew Roberts, Pongsak SuvanPong (Macquarie University)

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 talk, we introduce the Skink analysis tool and discuss the architecture of the tool and the techniques and theories used to analyse single-threaded and
multi-threaded C programs.