Hills, Mark, Paul Klint, Jurgen J. Vinju. RLSRunner: Linking Rascal with K for Program Analysis. In Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011). Volume 6940 of LNCS, Springer, July 2011.
The Rascal meta-programming language provides a number of features supporting the development of program analysis tools. However, sometimes the analysis to be developed is already implemented by another system. In this case, Rascal can provide a useful front-end for this system, handling the parsing of the input program, any transformation (if needed) of this program into individual analysis tasks, and the display of the results generated by the analysis. In this paper we describe a tool, RLSRunner, which provides this integration with static analysis tools defined using the K framework, a rewriting-based framework for defining the semantics of programming languages.