AspectJ code analysis and verification with GASR
详细信息 查看全文
- 作者：Johan Fabry ; a ; jfabry@dcc.uchile.cl" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Coen De Rooverb ; cderoove@vub.ac.be" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Carlos Noguerab ; cnoguera@soft.vub.ac.be" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Steffen Zschalerc ; szschaler@acm.org" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Awais Rashidd ; marash@comp.lancs.ac.uk" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Viviane Jonckersb ; vejoncke@soft.vub.ac.be" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae
- 关键词：Aspect oriented programming ; Source code analysis ; Logic program querying
- 刊名：Journal of Systems and Software
- 出版年：2016
- 出版时间：July 2016
- 年：2016
- 卷：117
- 期：Complete
- 页码：528-544
- 全文大小：2874 K
文摘
- class="listitem" id="list_celist0001">
- class="label">•
We argue for a general-purpose source code analysis tool that is aware of aspects.
- class="label">•
We present the logic program querying tool GASR, the first such tool.
- class="label">•
We discuss its implementation along with its library of logical predicates.
- class="label">•
We show how it can automatically verify previously published aspectual assumptions.