{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T19:23:13Z","timestamp":1743880993188},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423140"},{"type":"electronic","value":"9783540477648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-47764-0_12","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T00:55:55Z","timestamp":1181609755000},"page":"194-212","source":"Crossref","is-referenced-by-count":24,"title":["Cleanness Checking of String Manipulations in C Programs via Integer Analysis"],"prefix":"10.1007","author":[{"given":"Nurit","family":"Dor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Rodeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"T. Austin, S. Breach, and G. Sohi. Efficient detection of all pointer and array access errors. In SIGPLAN Conf. on Prog. Lang. Design and Impl., 1994.","key":"12_CR1","DOI":"10.1145\/178243.178446"},{"unstructured":"Compaq Systems Research Center. Compaq extended static checker for Java. Available at http:\/\/research.compaq.com\/SRC\/esc\/ , 2000.","key":"12_CR2"},{"doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proc. 2nd. Int. Symp on Programming, Paris, Apr. 1976.","key":"12_CR3","DOI":"10.1145\/390018.808314"},{"doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points. In Symp. on Princ. of Prog. Lang., pages 238\u2013252, New York, NY, 1977. ACM Press.","key":"12_CR4","DOI":"10.1145\/512950.512973"},{"doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear constraints among variables of a program. In ACM Symp. on Princ. of Prog. Lang., 1978.","key":"12_CR5","DOI":"10.1145\/512760.512770"},{"doi-asserted-by":"crossref","unstructured":"C. Cowan, P. Wagle, C. Pu, S. Beattie, and J. Walpole. Buffer overflows: attacks and defenses for the vulnerability of the decade. In In Proc. of the DARPA Information Survivability Conference and Expo, 1999.","key":"12_CR6","DOI":"10.1109\/DISCEX.2000.821514"},{"unstructured":"Edison Design Group. C++ front end. Available at http:\/\/www.edg.com\/ .","key":"12_CR7"},{"issue":"2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/A:1008678014487","volume":"11","author":"N. Halbwachs","year":"1997","unstructured":"N. Halbwachs, Y. Proy, and P. Roumanoff. Verification of real-time systems using linear relation analysis. Formal Methods in System Design, 11(2):157\u2013185, 1997.","journal-title":"Formal Methods in System Design"},{"unstructured":"B. Jeannet. New polka library. Available at http:\/\/www-verimag.imag.fr\/~bjeannet\/newpolka-english.html .","key":"12_CR9"},{"key":"12_CR10","volume-title":"The C programming language","author":"B. W. Kernighan","year":"1988","unstructured":"B. W. Kernighan and D. M. Ritchie. The C programming language. Prentice-Hall, Englewood Cliffs, NJ 07632, USA, 1988."},{"unstructured":"D. Larochelle and D. Evans. Statically detecting likely buffer overflow vulnerabilities. In To appear in 10th USENIX Security Symposium, 2001.","key":"12_CR11"},{"doi-asserted-by":"crossref","unstructured":"A. Loginov, S. Yong, S. Horwitz, and T. Reps. Debugging via run-time type checking. In Proc. of Fundamental Approaches to Softw. Eng. (FASE), 2001.","key":"12_CR12","DOI":"10.1007\/3-540-45314-8_16"},{"unstructured":"B. Miller, D. Koski, C. Lee, V. Maganty, R. Murthy, A. Natarajan, and J. Steidl. Fuzz revisited: A re-examination of the reliability of Unix utilities and services, 1995. Available at http:\/\/www.cs.wisc.edu\/~bart\/fuzz\/fuzz.html .","key":"12_CR13"},{"unstructured":"Rational Inc. Purify software. Available at http:\/\/www.purify.com , 1995.","key":"12_CR14"},{"unstructured":"Reliable Systems. Icontract-design by contract. Available at http:\/\/www.reliable-systems.com\/ , 1999.","key":"12_CR15"},{"doi-asserted-by":"crossref","unstructured":"E. Spafford. The internet worm: Crisis and aftermath. In Communications of the ACM, June 1989. 165, pages 678\u2013687, June 1989.","key":"12_CR16","DOI":"10.1145\/63526.63527"},{"unstructured":"SUIF. Suif compiler system. Available at http:\/\/suif.stanford.edu\/ .","key":"12_CR17"},{"unstructured":"D. Wagner, J. Foster, E. Brewer, and A. Aiken. A first step towards automated detection of buffer overrun vulnerabilities. In Symposium on Network and Distributed Systems Security (NDSS\u201900) San Diego, CA, Feb. 2000.","key":"12_CR18"},{"unstructured":"D. Weise. Personal communication. Nov. 2000.","key":"12_CR19"},{"doi-asserted-by":"crossref","unstructured":"S. Yong, S. Horwitz, and T. Reps. Pointer analysis for programs with structures and casting. In SIGPLAN Conf. on Prog. Lang. Design and Impl., 1999.","key":"12_CR20","DOI":"10.1145\/301618.301647"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47764-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T06:41:42Z","timestamp":1683873702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47764-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423140","9783540477648"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-47764-0_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}