Program analysis scenarios in Rascal. 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. (Source: http://freecode.com/)
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Freudenthal, Margus: Simpl: a toolkit for domain-specific language development in enterprise information systems (2013)
- Hills, Mark; Klint, Paul; Vinju, Jurgen J.: Program analysis scenarios in Rascal (2012) ioport
- Durán, Francisco; Roldán, Manuel; Bach, Jean-Christophe; Balland, Emilie; van den Brand, Mark; Cordy, James R.; Eker, Steven; Engelen, Luc; de Jonge, Maartje; Kalleberg, Karl Trygve; Kats, Lennart C. L.; Moreau, Pierre-Etienne; Visser, Eelco: The third rewrite engines competition (2010)
- Hills, Mark; Rosu, Grigore: A rewriting logic semantics approach to modular program analysis (2010)