{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:50:55Z","timestamp":1743025855158,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_18","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T09:18:43Z","timestamp":1225790323000},"page":"252-261","source":"Crossref","is-referenced-by-count":3,"title":["Computing Must and May Alias to Detect Null Pointer Dereference"],"prefix":"10.1007","author":[{"given":"Xiaodong","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","first-page":"74","volume-title":"POPL 1995: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"R.Z. Altucher","year":"1995","unstructured":"Altucher, R.Z., Landi, W.: An extended form of must alias analysis for dynamic allocation. In: POPL 1995: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 74\u201384. ACM, New York (1995)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Babi\u0107, D., Hu, A.J.: Calysto: Scalable and Precise Extended Static Checking. In: Proceedings of 30th International Conference on Software Engineering (ICSE 2008), May 10\u201318 (2008)","DOI":"10.1145\/1368088.1368118"},{"key":"18_CR3","unstructured":"Emami, M.: A practical interprocedural alias analysis for an optimizing\/parallelizing c compiler. Master\u2019s thesis, McGill University (1993)"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1145\/512529.512558","volume-title":"PLDI 2002: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation","author":"C. Flanagan","year":"2002","unstructured":"Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for java. In: PLDI 2002: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pp. 234\u2013245. ACM, New York (2002)"},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/379605.379665","volume-title":"PASTE 2001: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop 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: PASTE 2001: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pp. 54\u201361. ACM, New York (2001)"},{"issue":"4","key":"18_CR6","doi-asserted-by":"publisher","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\u00a021(4), 848\u2013894 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR7","first-page":"244","volume-title":"POPL 1979: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages","author":"N.D. Jones","year":"1979","unstructured":"Jones, N.D., Muchnick, S.S.: Flow analysis and optimization of lisp-like structures. In: POPL 1979: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 244\u2013256. ACM, New York (1979)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Liang, D., Harrold, M.J.: Efficient points-to analysis for whole-program analysis. In: ESEC \/ SIGSOFT FSE, pp. 199\u2013215 (1999)","DOI":"10.1007\/3-540-48166-4_13"},{"key":"18_CR9","volume-title":"Proceedings of the 12th International Symposium on the Foundations of Software Engineering, FSE 2004","author":"R. Manevich","year":"2004","unstructured":"Manevich, R., Sridharan, M., Adams, S., Das, M., Yang, Z.: Pse: Explaining program failures via postmortem static analysis. In: Richard, N. (ed.) Proceedings of the 12th International Symposium on the Foundations of Software Engineering (FSE 2004)November 2004. ACM, New York (2004)"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/301618.301645","volume-title":"PLDI 1999: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation","author":"R. Rugina","year":"1999","unstructured":"Rugina, R., Rinard, M.: Pointer analysis for multithreaded programs. In: PLDI 1999: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, pp. 77\u201390. ACM Press, New York (1999)"},{"key":"18_CR11","unstructured":"Samate\u00a0test cases, http:\/\/samate.nist.gov"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: Symposium on Principles of Programming Languages, pp. 32\u201341 (1996)","DOI":"10.1145\/237721.237727"},{"issue":"3","key":"18_CR13","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/1232420.1232423","volume":"29","author":"Y. Xie","year":"2007","unstructured":"Xie, Y., Aiken, A.: Saturn: A scalable framework for error detection using boolean satisfiability. ACM Trans. Program. Lang. Syst.\u00a029(3), 16 (2007)","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T22:30:36Z","timestamp":1557873036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_18","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}