Software Languages Lab
Published on Software Languages Lab (http://soft.vub.ac.be/soft)

Home > GASR

GASR

Groups audience: 
CAMP [1]
Logo Image: 
Promoted to Artifact Page: 
Yes
Keywords: 
aspect-oriented programs
program analysis
meta-programming library
Description
Description: 

GASR (General-purpose Aspectual Source code Reasoner) is a tool for answering user-specified questions about the structure as well as the behavior of an aspect-oriented program. Examples range from "which pointcut definitions are overridden in a subtype?" over "which pointcuts have a join point shadow in an advice?" to "can these advices be executed consecutively?". Such questions have to be specified as a logic query of which the conditions quantify over the program’s source code.

GASR has been implemented as an extension to the Ekeko [2] meta-programming library. 

Our SCAM13 paper [1] has more details. 

Available from the GASR GitHub repository [3].

 

References

  1. Fabry, J., C. De Roover [4], and V. Jonckers [5], "Aspectual Source Code Analysis with GASR [6]", Proceedings of the 13th International Working Conference on Source Code Analysis and Manipulation (SCAM13), 2013.

Source URL: http://soft.vub.ac.be/soft/content/gasr

Links
[1] http://soft.vub.ac.be/soft/camp
[2] http://soft.vub.ac.be/newsite/node/131
[3] https://github.com/cderoove/damp.ekeko.aspectj
[4] http://soft.vub.ac.be/soft/members/cderoove
[5] http://soft.vub.ac.be/soft/members/vejoncke
[6] http://soft.vub.ac.be/soft/content/aspectual-source-code-analysis-gasr