{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:47:33Z","timestamp":1773193653881,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,7,17]],"date-time":"2011-07-17T00:00:00Z","timestamp":1310860800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-07-1-0210"],"award-info":[{"award-number":["FA9550-07-1-0210"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006227","name":"Lawrence Livermore National Laboratory, Office of Science","doi-asserted-by":"publisher","award":["B580360"],"award-info":[{"award-number":["B580360"]}],"id":[{"id":"10.13039\/100006227","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-0621487CCF-0701957CCF-0953478"],"award-info":[{"award-number":["CCF-0621487CCF-0701957CCF-0953478"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000015","name":"U.S. Department of Energy","doi-asserted-by":"publisher","award":["DE-SC0002153"],"award-info":[{"award-number":["DE-SC0002153"]}],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,7,17]]},"DOI":"10.1145\/2001420.2001434","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T12:34:54Z","timestamp":1311165294000},"page":"111-121","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Defective error\/pointer interactions in the Linux kernel"],"prefix":"10.1145","author":[{"given":"Cindy","family":"Rubio-Gonz\u00e1lez","sequence":"first","affiliation":[{"name":"University of Wisconsin--Madison, Madison, Wisconsin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben","family":"Liblit","sequence":"additional","affiliation":[{"name":"University of Wisconsin--Madison, Madison, Wisconsin"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368118"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/224841.225047"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200006)30:7%3C775::AID-SPE309%3E3.0.CO;2-H"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250784"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_6_1","volume-title":"6th USENIX Conference on File and Storage Technologies (FAST '08)","author":"Gunawi H. S.","year":"2008","unstructured":"H. S. Gunawi , C. Rubio-Gonz\u00e1lez , A. C. Arpaci-Dusseau , R. H. Arpaci-Dusseau , and B. Liblit . EIO: Error handling is occasionally correct . In 6th USENIX Conference on File and Storage Technologies (FAST '08) , San Jose, California , Feb. 2008 . H. S. Gunawi, C. Rubio-Gonz\u00e1lez, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, and B. Liblit. EIO: Error handling is occasionally correct. In 6th USENIX Conference on File and Storage Technologies (FAST '08), San Jose, California, Feb. 2008."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1251535.1251537"},{"key":"e_1_3_2_1_8_1","first-page":"434","volume-title":"IEC (Prague)","author":"Karthik S.","year":"2005","unstructured":"S. Karthik and H. G. Jayakumar . Static analysis: C code error checking for reliable and secure programming. In C. Ardil, editor , IEC (Prague) , pages 434 -- 439 . Enformatika, \u00c7anakkale, Turkey , 2005 . S. Karthik and H. G. Jayakumar. Static analysis: C code error checking for reliable and secure programming. In C. Ardil, editor, IEC (Prague), pages 434--439. Enformatika, \u00c7anakkale, Turkey, 2005."},{"key":"e_1_3_2_1_9_1","volume-title":"A book on C","author":"Kelley A.","year":"1998","unstructured":"A. Kelley and I. Pohl . A book on C ( 4 th ed.): programming in C. Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1998 . A. Kelley and I. Pohl. A book on C (4th ed.): programming in C. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1998.","edition":"4"},{"key":"e_1_3_2_1_10_1","unstructured":"N. Kidd T. Reps and A. Lal. WALi: A C++ library for weighted pushdown systems. http:\/\/www.cs.wisc.edu\/wpis\/wpds\/ 2009.  N. Kidd T. Reps and A. Lal. WALi: A C++ library for weighted pushdown systems. http:\/\/www.cs.wisc.edu\/wpis\/wpds\/ 2009."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"A.\n      Lal N.\n      Kidd T. W.\n      Reps and \n      T.\n      Touili\n  . \n  Abstract error projection\n  . In H. R. Nielson and G. Fil\u00e9 editors SAS volume \n  4634\n   of \n  Lecture Notes in Computer Science pages \n  200\n  --\n  217\n  . \n  Springer 2007\n  .   A. Lal N. Kidd T. W. Reps and T. Touili. Abstract error projection. In H. R. Nielson and G. Fil\u00e9 editors SAS volume 4634 of Lecture Notes in Computer Science pages 200--217. Springer 2007.","DOI":"10.1007\/978-3-540-74061-2_13"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270354"},{"key":"e_1_3_2_1_14_1","unstructured":"J. Lind-Nielsen. BuDDy - A Binary Decision Diagram Package. http:\/\/sourceforge.net\/projects\/buddy 2004.  J. Lind-Nielsen. BuDDy - A Binary Decision Diagram Package. http:\/\/sourceforge.net\/projects\/buddy 2004."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390657"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070515"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"G. C.\n      Necula S.\n      McPeak S. P.\n      Rahul and \n      W.\n      Weimer\n  . \n  CIL: Intermediate language and tools for analysis and transformation of C programs\n  . In R. N. Horspool editor CC volume \n  2304\n   of \n  Lecture Notes in Computer Science pages \n  213\n  --\n  228\n  . \n  Springer 2002\n  .   G. C. Necula S. McPeak S. P. Rahul and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In R. N. Horspool editor CC volume 2304 of Lecture Notes in Computer Science pages 213--228. Springer 2002.","DOI":"10.1007\/3-540-45937-5_16"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352618"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.009"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806672.1806687"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542506"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318659"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940115"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/647253.720279"}],"event":{"name":"ISSTA '11: International Symposium on Software Testing and Analysis","location":"Toronto Ontario Canada","acronym":"ISSTA '11","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2011 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2001420.2001434","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2001420.2001434","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:54Z","timestamp":1750244394000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2001420.2001434"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,17]]},"references-count":23,"alternative-id":["10.1145\/2001420.2001434","10.1145\/2001420"],"URL":"https:\/\/doi.org\/10.1145\/2001420.2001434","relation":{},"subject":[],"published":{"date-parts":[[2011,7,17]]},"assertion":[{"value":"2011-07-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}