Guoqing Xu Atanas Rountev AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software. 36-47 2008 AOSD http://doi.acm.org/10.1145/1353482.1353488 conf/aosd/2008 db/conf/aosd/aosd2008.html#XuR08