{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T18:11:20Z","timestamp":1778263880877,"version":"3.51.4"},"publisher-location":"Boston, MA","reference-count":15,"publisher":"Springer US","isbn-type":[{"value":"9781441959058","type":"print"},{"value":"9781441959065","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-1-4419-5906-5_839","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T09:52:10Z","timestamp":1319709130000},"page":"1254-1256","source":"Crossref","is-referenced-by-count":0,"title":["Static Analysis"],"prefix":"10.1007","author":[{"given":"David","family":"Brumley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"839_CR1_839","volume-title":"Proceedings of the Western Joint Computer Conference: papers presented at the Joint IRE-AIEE-ACM Computer Conference","author":"JW Backus","year":"1957","unstructured":"Backus JW, Beeber RJ, Best S, Goldberg R, Haibt LM, Herrick HL, Nelson RA, Sayre D, Sheridan PB, Stern H, Ziller I, Hughes RA, Nutt R (1957) The FORTRAN automatic coding system. In: Proceedings of the Western Joint Computer Conference: papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, 26\u201328 February 1957. Institute of Radio Engineers, New York"},{"key":"839_CR2_839","volume-title":"Compilers: principles, techniques, and tools","author":"AV Aho","year":"2007","unstructured":"Aho AV, Lam M, Sethi R, Ullman JD (2007) Compilers: principles, techniques, and tools, 2nd edn. Addison-Wesley, Boston","edition":"2"},{"key":"839_CR3_839","unstructured":"http:\/\/www.fortify.com\/security-resources\/rats.jsp"},{"key":"839_CR4_839","unstructured":"http:\/\/www.cigital.com\/its4"},{"key":"839_CR5_839","unstructured":"http:\/\/www.coverity.com"},{"key":"839_CR6_839","unstructured":"http:\/\/wwww.fortify.com"},{"key":"839_CR7_839","volume-title":"Introduction to automata theory, langauges, and computation","author":"JE Hopcroft","year":"2001","unstructured":"Hopcroft JE, Motwani R, Ullman JD (2001) Introduction to automata theory, langauges, and computation. Addison-Wesley, Boston"},{"issue":"4","key":"839_CR8_839","first-page":"327","volume":"1","author":"W Landi","year":"1992","unstructured":"Landi W (1992) Undecidability of static analysis. ACM Lett Progr Lang Sys 1(4):327\u2013337","journal-title":"ACM Lett Progr Lang Sys"},{"key":"839_CR9_839","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1145\/512927.512945","volume-title":"POPL \u201973: Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"GA Kildall","year":"1973","unstructured":"Kildall GA (1973) A unified approach to global program optimization. In: POPL \u201973: Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Boston, 1\u20133 October 1973. ACM Press, New York, pp 194\u2013206"},{"key":"839_CR10_839","volume-title":"Principles of program analysis","author":"F Nielson","year":"2004","unstructured":"Nielson F, Nielson HR, Hankin C (2004) Principles of program analysis. Springer, Berlin"},{"key":"839_CR11_839","first-page":"238","volume-title":"Conference record of the 4th ACM Symposium on Principles of Programming Languages","author":"P Cousot","year":"1977","unstructured":"Cousot P, Cousot R (1977) Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference record of the 4th ACM Symposium on Principles of Programming Languages, Los Angeles, 17\u201319 Jan 1977. pp 238\u2013252"},{"key":"839_CR12_839","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke EM, Grumberg O, Peled DA (1999) Model checking. MIT Press, Cambridge, MA"},{"key":"839_CR13_839","unstructured":"http:\/\/www.cs.berkeley.edu\/~daw\/mops\/"},{"key":"839_CR14_839","unstructured":"http:\/\/www.cs.cmu.edu\/~modelcheck\/cbmc\/"},{"key":"839_CR15_839","volume-title":"Types and programming languages","author":"BC Pierce","year":"2002","unstructured":"Pierce BC (2002) Types and programming languages. MIT Press, Cambridge, MA"}],"container-title":["Encyclopedia of Cryptography and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-5906-5_839","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T17:51:28Z","timestamp":1778262688000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4419-5906-5_839"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9781441959058","9781441959065"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-5906-5_839","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}