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
- static analysis
- intermediate representation
- symbolic execution
- intermediate level
- dynamic analysis
- source code
- abstract interpretation
- regular expressions
- java card
- test generation
- low level
- object models
- tightly coupled
- control structure
- databases
- api calls
- general purpose
- database
- intermediate representations
- artificial intelligence
- test suite
- reverse engineering
- pattern matching
- web services
- computer vision
- data sets