TACAI: an intermediate representation based on abstract interpretation.
Michael ReifFlorian KüblerDominik HelmBen HermannMichael EichbergMira MeziniPublished in: SOAP@PLDI (2020)
Keyphrases
- intermediate representation
- abstract interpretation
- termination analysis
- static analysis
- model checking
- active rules
- reasoning engine
- intermediate level
- dynamic analysis
- active databases
- tightly coupled
- intermediate representations
- object models
- source code
- reverse engineering
- image classification
- object oriented
- artificial intelligence