Title :
SKilLed communication for toolchains
Author_Institution :
Univ. of Stuttgart, Stuttgart, Germany
Abstract :
The creation of a program analysis toolchain involves design choices regarding intermediate representations (IRs). Good choices for an IR depend on the analyses performed by a toolchain. In academia, new analyses are developed frequently. Therefore, the best single IR of a research-oriented toolchain does not exist. Thus, we will describe our design of an IR that can be easily adapted to new requirements.
Keywords :
program diagnostics; software tools; specification languages; IR; SKilL; intermediate representation; program analysis toolchain; specification language; Context; Data structures; Java; Libraries; Training;
Conference_Titel :
Software Analysis, Evolution and Reengineering (SANER), 2015 IEEE 22nd International Conference on
Conference_Location :
Montreal, QC
DOI :
10.1109/SANER.2015.7081886
