{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:16:13Z","timestamp":1729620973064,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/scam.2007.26","type":"proceedings-article","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T12:50:08Z","timestamp":1209387008000},"page":"59-68","source":"Crossref","is-referenced-by-count":4,"title":["Towards Path-Sensitive Points-to Analysis"],"prefix":"10.1109","author":[{"given":"Tobias","family":"Gutzmann","sequence":"first","affiliation":[]},{"given":"Jonas","family":"Lundberg","sequence":"additional","affiliation":[]},{"given":"Welf","family":"Lowe","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/236337.236367"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277665"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/940112.940115"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512538"},{"article-title":"Control-flow analysis of higher-order languages","year":"1991","author":"shivers","key":"ref37"},{"key":"ref36","article-title":"Two Approaches to Interprocedural Data Flow Analysis","author":"sharir","year":"1981","journal-title":"Program Flow Analysis Theory and Applications"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292554"},{"key":"ref34","article-title":"An efficient inclusion-based points-to analysis for strictly-typed languages","author":"whaley","year":"0","journal-title":"Proceedings of 9th Static Analysis Symposium (SAS'02) 2002"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1145\/566172.566174","article-title":"Parameterized object sensitivity for points-to and side-effect analyses for Java","author":"milanova","year":"2002","journal-title":"Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'02)"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","article-title":"Scaling Java points-to analysis using Spark","author":"lhot\u00e1k","year":"2003","journal-title":"Proceedings of the International Conference on Compiler Construction (CC'03)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75280"},{"article-title":"Optimierung Objektorientierter Programme","year":"1999","author":"trapp","key":"ref15"},{"key":"ref16","article-title":"libfirm - a library for compiler optimization research implementing firm","author":"lindenmaier","year":"2002","journal-title":"Technical Report 2002"},{"key":"ref17","article-title":"Firm, an intermediate language for compiler research","volume":"3","author":"lindenmaier","year":"2005","journal-title":"Tech Rep 2005"},{"key":"ref18","article-title":"A scalable flow-sensitive points-to analysis","author":"lundberg","year":"2007","journal-title":"Compiler Construction - Advances and Applications Festschrift on the occasion of the retirement of Prof Dr Dr h c Gerhard Goos"},{"key":"ref19","article-title":"Fast and precise points-to analysis","author":"lundberg","year":"2007","journal-title":"Tech Rep"},{"key":"ref28","article-title":"If-Konversion auf SSA","author":"mallon","year":"2007","journal-title":"Studienarbeit"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/567067.567085"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01237234"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/263698.264352"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268966"},{"journal-title":"Principles Techniques and Tools","year":"1986","author":"aho","key":"ref5"},{"key":"ref8","first-page":"73","article-title":"Extending and evaluating flow-insensitive and context-insensitive points-to analysis for Java","author":"liang","year":"2001","journal-title":"Proceedings of the Workshop on Program Analysis for Software Tools and Engineering (PASTE'01)"},{"key":"ref7","article-title":"Points-to for Java: A general framework and an empirical comparison","author":"streckenbach","year":"2000","journal-title":"Tech Rep"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/3-540-36579-6_10","article-title":"Dimensions of precision in reference analysis of object-oriented programing languages","author":"ryder","year":"2003","journal-title":"International Conference on Compiler Construction (CC'03)"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1145\/504282.504286","article-title":"Points-to analysis for Java based on annotated constraints","author":"rountev","year":"2001","journal-title":"Proceedings of the Conference on Object-oriented Programmimg Systems Languages and Applications (00PSLA'01)"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/11688839_5","article-title":"Context-sensitive points-to analysis: is it worth it?","volume":"3923","author":"lhot\u00e1k","year":"2006","journal-title":"International Conference on Compiler Construction (CC'06)"},{"journal-title":"The Java Language Specification","year":"2005","author":"gosling","key":"ref20"},{"article-title":"A simple, fast dominance algorithm","year":"2001","author":"cooper","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"key":"ref24","first-page":"20","article-title":"Object-oriented type inference","author":"palsberg","year":"2001","journal-title":"Proceedings of the Workshop on Program Analysis for Software Tools and Engineering (PASTE'01)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379665"},{"key":"ref26","first-page":"477","article-title":"Construction of thinned gated single assignment form","author":"havlak","year":"1993","journal-title":"1993 Workshop on Languages and Compilers for Parallel Computing"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73561"}],"event":{"name":"Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007)","start":{"date-parts":[[2007,9,30]]},"location":"Paris, France","end":{"date-parts":[[2007,10,1]]}},"container-title":["Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4362882\/4362883\/04362898.pdf?arnumber=4362898","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T15:48:01Z","timestamp":1557503281000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4362898\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/scam.2007.26","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}