Program Analysis Scenarios in Rascal

Abstract

Rascal is a meta programming language focused on the implementation of domain-specific languages and on the rapid construction of tools for software analysis and software transformation. In this paper we focus on the use of Rascal for software analysis. We illustrate a range of scenarios for building new software analysis tools through a number of examples, including one showing integration with an existing Maude-based analysis. We then focus on ongoing work on alias analysis and type inference for PHP, showing how Rascal is being used, and sketching a hypothetical solution in Maude. We conclude with a high-level discussion on the commonalities and differences between Rascal and Maude when applied to program analysis.

Publication
Proceedings of the 9th International Workshop on Rewriting Logic and its Applications (WRLA 2012)
Mark Hills
Mark Hills
Associate Professor

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