Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution).
Franck CassezAnthony M. SloaneMatthew RobertsMatthew PigramPongsak SuvanpongPablo González de Aledo MarugánPublished in: TACAS (2) (2017)
Keyphrases