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

Franck Cassez, Anthony M. Sloane, Matthew Roberts, Matthew Pigram, Pongsak Suvanpong, Pablo Gonzlez de Aledo Marugn

Browse the full TACAS paper archive.