Program Analysis Scenarios In Rascal - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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.
No file

Dates and versions

hal-00756880 , version 1 (23-11-2012)


  • HAL Id : hal-00756880 , version 1


Mark Hills, Paul Klint, Jurgen Vinju. Program Analysis Scenarios In Rascal. Proceedings of the International Workshop on Rewriting Logic and its Applications (WRLA, 2012), Apr 2012, Talinn, Estonia. pp.10 - 30. ⟨hal-00756880⟩


81 View
0 Download


Gmail Facebook X LinkedIn More