Program analysis scenarios in Rascal

M. Hills; P. Klint; J.J. Vinju

doi:10.1007/978-3-642-34005-5_2

Program analysis scenarios in Rascal

M. Hills
, P. Klint
, J.J. Vinju

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

8 Citaten (Scopus)

1 Downloads (Pure)

Samenvatting

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.

Originele taal-2	Engels
Titel	Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers
Redacteuren	F. Durán
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	10-30
ISBN van geprinte versie	978-3-642-34004-8
DOI's	https://doi.org/10.1007/978-3-642-34005-5_2
Status	Gepubliceerd - 2012
Extern gepubliceerd	Ja
Evenement	9th International Workshop on Rewriting Logic and Its Applications (WRLA 2012) - Tallinn, Estland Duur: 24 mrt. 2012 → 25 mrt. 2012 Congresnummer: 9

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	7571
ISSN van geprinte versie	0302-9743

Workshop

Workshop	9th International Workshop on Rewriting Logic and Its Applications (WRLA 2012)
Verkorte titel	WRLA 2012
Land/Regio	Estland
Stad	Tallinn
Periode	24/03/12 → 25/03/12
Ander	9th International Workshop on Rewriting Logic and Its Applications

Toegang tot document

10.1007/978-3-642-34005-5_2

Citeer dit

Hills, M., Klint, P., & Vinju, J. J. (2012). Program analysis scenarios in Rascal. In F. Durán (editor), Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers (blz. 10-30). (Lecture Notes in Computer Science; Vol. 7571). Springer. https://doi.org/10.1007/978-3-642-34005-5_2

@inproceedings{db92bbf588fa4b3a8c64bc40e0533442,

title = "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.",

author = "M. Hills and P. Klint and J.J. Vinju",

year = "2012",

doi = "10.1007/978-3-642-34005-5\_2",

language = "English",

isbn = "978-3-642-34004-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "10--30",

editor = "F. Dur{\'a}n",

booktitle = "Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers",

address = "Germany",

note = "9th International Workshop on Rewriting Logic and Its Applications (WRLA 2012), WRLA 2012 ; Conference date: 24-03-2012 Through 25-03-2012",

}

Hills, M, Klint, P & Vinju, JJ 2012, Program analysis scenarios in Rascal. in F Durán (reds.), Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers. Lecture Notes in Computer Science, vol. 7571, Springer, Berlin, blz. 10-30, 9th International Workshop on Rewriting Logic and Its Applications (WRLA 2012), Tallinn, Estland, 24/03/12. https://doi.org/10.1007/978-3-642-34005-5_2

Program analysis scenarios in Rascal. / Hills, M.; Klint, P.; Vinju, J.J.
Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers. reds. / F. Durán. Berlin: Springer, 2012. blz. 10-30 (Lecture Notes in Computer Science; Vol. 7571).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Program analysis scenarios in Rascal

AU - Hills, M.

AU - Klint, P.

AU - Vinju, J.J.

N1 - Conference code: 9

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-34005-5_2

DO - 10.1007/978-3-642-34005-5_2

M3 - Conference contribution

SN - 978-3-642-34004-8

T3 - Lecture Notes in Computer Science

SP - 10

EP - 30

BT - Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers

A2 - Durán, F.

PB - Springer

CY - Berlin

T2 - 9th International Workshop on Rewriting Logic and Its Applications (WRLA 2012)

Y2 - 24 March 2012 through 25 March 2012

ER -

Hills M, Klint P, Vinju JJ. Program analysis scenarios in Rascal. In Durán F, redacteur, Proceedings of the 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, held as a Satellite Event of ETAPS, March 24-25, 2012, Tallinn, Estonia, Revised Selected Papers. Berlin: Springer. 2012. blz. 10-30. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-34005-5_2

Program analysis scenarios in Rascal

Samenvatting

Publicatie series

Workshop

Toegang tot document

Vingerafdruk

Citeer dit