@inproceedings{xu-aosd08, author = "Guoqing Xu and Atanas Rountev", title = "{AJANA}: {A} General Framework for Source-Code-Level Interprocedural Dataflow Analysis of {AspectJ} Software", booktitle = "International Conference on Aspect-Oriented Software Development", year = 2008, pages = "36-47" }