{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,6]],"date-time":"2023-07-06T15:40:29Z","timestamp":1688658029452},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T00:00:00Z","timestamp":1384473600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s11704-013-3106-2","type":"journal-article","created":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T13:17:34Z","timestamp":1384521454000},"page":"52-68","source":"Crossref","is-referenced-by-count":0,"title":["A constraint-weaving approach to points-to analysis for AspectJ"],"prefix":"10.1007","volume":"8","author":[{"given":"Qiang","family":"Sun","sequence":"first","affiliation":[]},{"given":"Yuting","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Jianjun","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,15]]},"reference":[{"key":"3106_CR1","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/347324.348916","volume-title":"Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"M Hind","year":"2000","unstructured":"Hind M, Pioli A. Which pointer analysis should I use? In: Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis. 2000, 113\u2013123"},{"key":"3106_CR2","first-page":"9","volume-title":"Proceedings of the 28th Australasian Conference on Computer Science","author":"P H Nguyen","year":"2005","unstructured":"Nguyen P H, Xue J. Interprocedural side-effect analysis and optimisation in the presence of dynamic class loading. In: Proceedings of the 28th Australasian Conference on Computer Science. 2005, 9\u201318"},{"key":"3106_CR3","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1109\/WPC.2002.1021346","volume-title":"Proceedings of the 10th International Workshop on Program Comprehension","author":"J Zhao","year":"2002","unstructured":"Zhao J. Slicing aspect-oriented software. In: Proceedings of the 10th International Workshop on Program Comprehension. 2002, 251\u2013260"},{"key":"3106_CR4","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1145\/2338965.2336784","volume-title":"Proceedings of the 2012 International Symposium on Software Testing and Analysis","author":"Y Sui","year":"2012","unstructured":"Sui Y, Ye D, Xue J. Static memory leak detection using full-sparse value-flow analysis. In: Proceedings of the 2012 International Symposium on Software Testing and Analysis. 2012, 254\u2013264"},{"key":"3106_CR5","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/1119655.1119681","volume-title":"Proceedings of the 5th International Conference on Aspect-Oriented Software Development","author":"T Xie","year":"2006","unstructured":"Xie T, Zhao J. A framework and tool supports for generating test inputs of AspectJ programs. In: Proceedings of the 5th International Conference on Aspect-Oriented Software Development. 2006, 190\u2013201"},{"key":"3106_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1044834.1044835","volume":"14","author":"A Milanova","year":"2002","unstructured":"Milanova A, Rountev A, Ryder B G. Parameterized object sensitivity for points-to analysis for Java. ACM Transactions on Software Engineering and Methodology, 2002, 14: 1\u201341","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"3106_CR7","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","volume-title":"Proceedings of the 12th International Conference on Compiler Construction","author":"O Lhot\u00e1k","year":"2003","unstructured":"Lhot\u00e1k O, Hendren L. Scaling Java points-to analysis using SPARK. In: Proceedings of the 12th International Conference on Compiler Construction. 2003, 153\u2013169"},{"key":"3106_CR8","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/1353482.1353488","volume-title":"Proceedings of the 7th International Conference on Aspect-Oriented Software Development","author":"G H Xu","year":"2008","unstructured":"Xu G H, Rountev A. AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software. In: Proceedings of the 7th International Conference on Aspect-Oriented Software Development. 2008, 36\u201347"},{"issue":"6","key":"3106_CR9","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1109\/32.926173","volume":"27","author":"R Chatterjee","year":"2001","unstructured":"Chatterjee R, Ryder B G, Landi WA. Complexity of points-to analysis of Java in the presence of exceptions. IEEE Transactions on Software Engineering, 2001, 27(6): 481\u2013512","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3106_CR10","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/996841.996859","volume-title":"Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation","author":"J Whaley","year":"2004","unstructured":"Whaley J, Lam M S. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. 2004, 131\u2013144"},{"key":"3106_CR11","volume-title":"Program analysis and specialization for the C programming language","author":"L Andersen","year":"1994","unstructured":"Andersen L. Program analysis and specialization for the C programming language. PhD thesis, Denmark: University of Copenhagen, 1994"},{"key":"3106_CR12","first-page":"17","volume-title":"Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Y Smaragdakis","year":"2011","unstructured":"Smaragdakis Y, Bravenboer M, Lhot\u00e1k O. Pick your contexts well: understanding object-sensitivity. In: Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2011, 17\u201330"},{"key":"3106_CR13","unstructured":"The AspectJ Programming Guide. The AspectJ Team, 2002"},{"key":"3106_CR14","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1145\/1133981.1134027","volume-title":"Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation","author":"M Sridharan","year":"2006","unstructured":"Sridharan M, Bod\u00edk R. Refinement-based context-sensitive points-to analysis for Java. In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation. 2006, 387\u2013400"},{"key":"3106_CR15","first-page":"264","volume-title":"Proceedings of the 10th Annual IEEE\/ACM International Symposium on Code Generation and Optimization","author":"L Shang","year":"2012","unstructured":"Shang L, Xie X, Xue J. On-demand dynamic summary-based points-to analysis. In: Proceedings of the 10th Annual IEEE\/ACM International Symposium on Code Generation and Optimization. 2012, 264\u2013274"},{"key":"3106_CR16","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1145\/2491956.2462159","volume-title":"Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Q Zhang","year":"2013","unstructured":"Zhang Q, Lyu M R, Yuan H, Su Z. Fast algorithms for Dyck-CFL-reachability with applications to alias analysis. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. 2013, 435\u2013446"},{"key":"3106_CR17","first-page":"270","volume-title":"Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering","author":"Y Lu","year":"2013","unstructured":"Lu Y, Shang L, Xie X, Xue J. Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience. In: Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering. 2013, 270\u2013273"},{"key":"3106_CR18","unstructured":"The AspectBench Compiler. http:\/\/abc.comlab.ox.ac.uk\/"},{"key":"3106_CR19","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1145\/1028976.1028990","volume-title":"Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications","author":"B Dufour","year":"2004","unstructured":"Dufour B, Goard C, Hendren L J, Moord O, Sittampalam G, Verbrugge C. Measuring the dynamic behaviour of AspectJ programs. In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. 2004, 150\u2013169"},{"key":"3106_CR20","unstructured":"Glassbox. http:\/\/glassbox.sourceforge.net\/"},{"key":"3106_CR21","unstructured":"*J. http:\/\/www.sable.mcgill.ca\/starj\/"},{"key":"3106_CR22","unstructured":"AJHSQLDB. http:\/\/ajhsqldb.sourceforge.net\/"},{"key":"3106_CR23","unstructured":"Soot. http:\/\/www.sable.mcgill.ca\/soot"},{"key":"3106_CR24","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/379605.379665","volume-title":"Proceedings of the 2001 ACMSIGPLAN-SIGSOFTWorkshop on Program Analysis for Software Tools and Engineering","author":"M Hind","year":"2001","unstructured":"Hind M. Pointer analysis: haven\u2019t we solved this problem yet? In: Proceedings of the 2001 ACMSIGPLAN-SIGSOFTWorkshop on Program Analysis for Software Tools and Engineering. 2001, 54\u201361"},{"key":"3106_CR25","first-page":"73","volume-title":"Proceedings of theWorkshop on Program Analysis for Software Tools and Engineering","author":"D Liang","year":"2001","unstructured":"Liang D, Pennings M, Harrold M J. Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java. In: Proceedings of theWorkshop on Program Analysis for Software Tools and Engineering. 2001, 73\u201379"},{"key":"3106_CR26","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/237721.237727","volume-title":"Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"B Steensgaard","year":"1996","unstructured":"Steensgaard B. Points-to analysis in almost linear time. In: Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1996, 32\u201341"},{"key":"3106_CR27","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1145\/178243.178264","volume-title":"Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation","author":"M Emami","year":"1994","unstructured":"Emami M, Ghiya R, Hendren L J. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In: Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation. 1994, 242\u2013256"},{"key":"3106_CR28","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/155090.155096","volume-title":"Proceedings of the ACM SIGPLAN 1993 Conference on Programming Language Design and Implementation","author":"W Landi","year":"1993","unstructured":"Landi W, Ryder B G, Zhang S. Interprocedural modification side effect analysis with pointer aliasing. In: Proceedings of the ACM SIGPLAN 1993 Conference on Programming Language Design and Implementation. 1993, 56\u201367"},{"key":"3106_CR29","first-page":"187","volume-title":"Proceedings of the 14th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications","author":"J Whaley","year":"1999","unstructured":"Whaley J, Rinard M. Compositional pointer and escape analysis for Java programs. In: Proceedings of the 14th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications. 1999, 187\u2013206"},{"key":"3106_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/207110.207111","volume-title":"Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation","author":"R Wilson","year":"1995","unstructured":"Wilson R, Lam M S. Efficient context-sensitive pointer analysis for C programs. In: Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation. 1995, 1\u201312"},{"key":"3106_CR31","first-page":"180","volume-title":"Proceedings of the 9th International Static Analysis Symposium","author":"J Whaley","year":"2002","unstructured":"Whaley J, Lam M S. An efficient inclusion-based points-to analysis for strictly-typed languages. In: Proceedings of the 9th International Static Analysis Symposium. 2002, 180\u2013195"},{"key":"3106_CR32","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/978-3-642-25318-8_14","volume-title":"Proceedings of the 9th Asian Conference on Programming Languages and Systems","author":"Y Sui","year":"2011","unstructured":"Sui Y, Ye S, Xue J, Yew P C. SPAS: scalable path-sensitive pointer analysis on full-sparse SSA. In: Proceedings of the 9th Asian Conference on Programming Languages and Systems. 2011, 155\u2013171"},{"key":"3106_CR33","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/2491894.2466483","volume-title":"Proceedings of the 2013 International Symposium on Memory Management","author":"L Li","year":"2013","unstructured":"Li L, Cifuentes C, Keynes N. Precise and scalable context-sensitive pointer analysis via value flow graph. In: Proceedings of the 2013 International Symposium on Memory Management. 2013, 85\u201396"},{"key":"3106_CR34","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1145\/1375581.1375613","volume-title":"Proceedings of the ACM SIGPLAN 2008 conference on Programming Language Design and Implementation","author":"V Kahlon","year":"2008","unstructured":"Kahlon V. Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. In: Proceedings of the ACM SIGPLAN 2008 conference on Programming Language Design and Implementation. 2008, 249\u2013259"},{"key":"3106_CR35","first-page":"218","volume-title":"Proceedings of the 8th International Symposium on Code Generation and Optimization","author":"H Yu","year":"2010","unstructured":"Yu H, Xue J, Huo W, Feng X, Zhang Z. Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code. In: Proceedings of the 8th International Symposium on Code Generation and Optimization. 2010, 218\u2013229"},{"key":"3106_CR36","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1145\/996841.996860","volume-title":"Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation","author":"J Zhu","year":"2004","unstructured":"Zhu J, Calman S. Symbolic pointer analysis revisited. In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. 2004, 145\u2013157"},{"key":"3106_CR37","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/11688839_5","volume-title":"Proceedings of the 15th International Conference on Compiler Construction","author":"O Lhot\u00e1k","year":"2006","unstructured":"Lhot\u00e1k O, Hendren L J. Context-sensitive points-to analysis: is it worth it? In: Proceedings of the 15th International Conference on Compiler Construction. 2006, 47\u201364"},{"key":"3106_CR38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/CGO.2013.6494978","volume-title":"Proceedings of the 2013 IEEE\/ACM International Symposium on Code Generation and Optimization","author":"Y Sui","year":"2013","unstructured":"Sui Y, Li Y, Xue J. Query-directed adaptive heap cloning for optimizing compilers. In: Proceedings of the 2013 IEEE\/ACM International Symposium on Code Generation and Optimization. 2013, 1\u201311"},{"key":"3106_CR39","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1145\/158511.158639","volume-title":"Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"J D Choi","year":"1993","unstructured":"Choi J D, Burke M, Carini P. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1993, 232\u2013245"},{"issue":"4","key":"3106_CR40","doi-asserted-by":"crossref","first-page":"848","DOI":"10.1145\/325478.325519","volume":"21","author":"M Hind","year":"1999","unstructured":"Hind M, Burke M, Carini P, Choi J D. Interprocedural pointer alias analysis. ACM Transactions on Programming Languages and Systems, 1999, 21(4): 848\u2013894","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3106_CR41","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1145\/1480881.1480911","volume-title":"Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"B Hardekopf","year":"2009","unstructured":"Hardekopf B, Lin C. Semi-sparse flow-sensitive pointer analysis. In: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2009, 226\u2013238"},{"key":"3106_CR42","first-page":"147","volume-title":"Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"M Rinard","year":"2004","unstructured":"Rinard M, S\u0103lcianu A, Bugrara S. A classification system and analysis for aspect-oriented programs. In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering. 2004, 147\u2013158"},{"key":"3106_CR43","first-page":"143","volume-title":"Proceedings of the 8th IEEE International Working Conference on Source Code Analysis and Manipulation","author":"Q Sun","year":"2008","unstructured":"Sun Q, Zhao J. Aspect-aware points-to analysis. In: Proceedings of the 8th IEEE International Working Conference on Source Code Analysis and Manipulation. 2008, 143\u2013152"},{"key":"3106_CR44","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1145\/1065010.1065026","volume-title":"Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation","author":"P Avgustinov","year":"2005","unstructured":"Avgustinov P, Christensen A S, Hendren L J, Kuzins S, Lhot\u00e1k J, Lhot\u00e1k O, Moord O, Sereni D, Sittampalam G, Tibble J. Optimising AspectJ. In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation. 2005, 117\u2013128"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-3106-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-013-3106-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-3106-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,6]],"date-time":"2023-07-06T15:04:56Z","timestamp":1688655896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-013-3106-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,15]]},"references-count":44,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["3106"],"URL":"https:\/\/doi.org\/10.1007\/s11704-013-3106-2","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,15]]}}}