{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:23:35Z","timestamp":1760171015846,"version":"3.37.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319522333"},{"type":"electronic","value":"9783319522340"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-52234-0_2","type":"book-chapter","created":{"date-parts":[[2017,1,10]],"date-time":"2017-01-10T23:52:06Z","timestamp":1484092326000},"page":"14-33","source":"Crossref","is-referenced-by-count":2,"title":["Detecting Strict Aliasing Violations in the Wild"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Cuoq","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"Runarvot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Cherepanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,12]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Canet, G., Cuoq, P., Monate, B.: A value analysis for C programs. In: Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2009, pp. 123\u2013124. IEEE Computer Society, Washington, DC (2009). http:\/\/dx.doi.org\/10.1109\/SCAM.2009.22","DOI":"10.1109\/SCAM.2009.22"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1977, pp. 238\u2013252. ACM, New York (1977). http:\/\/doi.acm.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-33826-7_16","volume-title":"Software Engineering and Formal Methods","author":"P Cuoq","year":"2012","unstructured":"Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 233\u2013247. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-33826-7_16"},{"key":"2_CR4","unstructured":"Cuoq, P., Rieu-Helft, R.: Result graphs for an abstract interpretation-based static analyzer. To appear"},{"key":"2_CR5","unstructured":"Ireland, I.: SafeType: Detecting type violations for type-based alias analysis of C. Ph.D. thesis, University of Alberta (2013)"},{"key":"2_CR6","unstructured":"ISO: ISO\/IEC 9899:2011 Information technology \u2013 Programming languages \u2013 C, December 2011. http:\/\/www.iso.org\/iso\/iso_catalogue\/catalogue_tc\/catalogue_detail.htm?csnumber=57853"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Kell, S.: Dynamically diagnosing type errors in unsafe code. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, pp. 800\u2013819. ACM, New York (2016). http:\/\/doi.acm.org\/10.1145\/2983990.2983998","DOI":"10.1145\/2983990.2983998"},{"key":"2_CR8","unstructured":"Krebbers, R.: The C standard formalized in Coq. Ph.D. thesis, Radboud University, December 2015"},{"issue":"7","key":"2_CR9","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/1159974.1134659","volume":"41","author":"A Min\u00e9","year":"2006","unstructured":"Min\u00e9, A.: Field-sensitive value analysis of embedded c programs with union types and pointer arithmetics. SIGPLAN Not. 41(7), 54\u201363 (2006). http:\/\/doi.acm.org\/10.1145\/1159974.1134659","journal-title":"SIGPLAN Not."},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/3-540-48166-4_12","volume-title":"Software Engineering \u2014 ESEC\/FSE\u201999","author":"M Siff","year":"1999","unstructured":"Siff, M., Chandra, S., Ball, T., Kunchithapadam, K., Reps, T.: Coping with type casts in C. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC\/SIGSOFT FSE -1999. LNCS, vol. 1687, pp. 180\u2013198. Springer, Berlin (1999). doi: 10.1007\/3-540-48166-4_12"},{"issue":"5","key":"2_CR11","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1145\/301631.301647","volume":"34","author":"SH Yong","year":"1999","unstructured":"Yong, S.H., Horwitz, S., Reps, T.: Pointer analysis for programs with structures and casting. SIGPLAN Not. 34(5), 91\u2013103 (1999). http:\/\/doi.acm.org\/10.1145\/301631.301647","journal-title":"SIGPLAN Not."}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-52234-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T03:53:53Z","timestamp":1498362833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-52234-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319522333","9783319522340"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-52234-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}