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. © 2012 Springer-Verlag.
Cite
CITATION STYLE
Hills, M., Klint, P., & Vinju, J. J. (2012). RLSRunner: Linking rascal with K for program analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6940 LNCS, pp. 344–353). https://doi.org/10.1007/978-3-642-28830-2_19
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
