Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution). - Franck Cassez; Anthony M. Sloane; Matthew Roberts; Matthew Pigram; Pongsak Suvanpong; Pablo González de Aledo Marugán (TACAS (2), 2017)