{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:47:53Z","timestamp":1730198873806,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006,9]]},"DOI":"10.1109\/ase.2006.8","type":"proceedings-article","created":{"date-parts":[[2006,12,13]],"date-time":"2006-12-13T15:33:43Z","timestamp":1166024023000},"page":"103-112","source":"Crossref","is-referenced-by-count":9,"title":["A Portable Compiler-Integrated Approach to Permanent Checking"],"prefix":"10.1109","author":[{"given":"Nic","family":"Volanschi","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"CodeSurfer Path Inspector","year":"0","author":"tech","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301665"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512531"},{"key":"15","article-title":"Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions","author":"engler","year":"2000","journal-title":"Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/52.976940"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/304399.304402"},{"key":"14","article-title":"Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions","author":"engler","year":"2000","journal-title":"Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI)"},{"key":"11","article-title":"ASTLOG: A Language for Examining","author":"crew","year":"1997","journal-title":"Proc Usenix Conf Domain-Specific Languages"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512538"},{"key":"21","article-title":"Temporal-Safety Proofs for Systems Code","volume":"2404","author":"henzinger","year":"2002","journal-title":"LNCS"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1996.501129"},{"key":"22","article-title":"Extreme model checking","volume":"2772","author":"henzinger","year":"2004","journal-title":"LNCS"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/996893.996868"},{"key":"24","doi-asserted-by":"crossref","DOI":"10.1145\/1094811.1094840","article-title":"Finding application errors and security flaws using PQL: A program query language","author":"martin","year":"2005","journal-title":"Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming systems languages and applications - OOPSLA"},{"journal-title":"MC bug viewer","year":"0","key":"25"},{"key":"26","article-title":"GENERIC and GIMPLE: A New Tree Representation for Entire Functions","author":"merill","year":"2003","journal-title":"Proceedings of GCC"},{"journal-title":"Mygcc prototype","year":"0","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/75309.75317"},{"journal-title":"Open source projects","year":"0","key":"29"},{"article-title":"MJ - a system for constructing bug-finding analyses for Java","year":"2003","author":"back","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2002.1004368"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0140"},{"journal-title":"CodeCheck","year":"0","key":"1"},{"journal-title":"Splint Open-source project","year":"0","key":"30"},{"journal-title":"Checkstyle Open-source project","year":"0","key":"7"},{"year":"0","key":"6"},{"article-title":"Unparsed patterns: Integrating unrestricted, concrete syntax pattern matching in any compiler","year":"2006","author":"volanschi","key":"32"},{"key":"5","article-title":"CASSIS","volume":"3362","author":"barnett","year":"2004","journal-title":"LNCS"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"4","article-title":"The SLAM Toolkit","volume":"2102","author":"ball","year":"2001","journal-title":"LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/586139.586142"}],"event":{"name":"Proceedings. 21st IEEE International Conference on Automated Software Engineering","start":{"date-parts":[[2006,9,18]]},"location":"Tokyo","end":{"date-parts":[[2006,9,22]]}},"container-title":["21st IEEE\/ACM International Conference on Automated Software Engineering (ASE'06)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4019543\/4019544\/04019566.pdf?arnumber=4019566","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,9,20]],"date-time":"2018-09-20T22:40:40Z","timestamp":1537483240000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4019566\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/ase.2006.8","relation":{},"subject":[],"published":{"date-parts":[[2006,9]]}}}