RLSRunner: Linking Rascal with K for Program Analysis

Abstract

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.

Publication
Proceedings of the 4th International Conference on Software Language Engineering (SLE 2011)
Mark Hills
Mark Hills
Associate Professor

My research interests include programming languages, program analysis, and software engineering.