{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:21:28Z","timestamp":1729639288133,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/nss.2010.63","type":"proceedings-article","created":{"date-parts":[[2010,11,23]],"date-time":"2010-11-23T15:35:54Z","timestamp":1290526554000},"page":"351-356","source":"Crossref","is-referenced-by-count":1,"title":["Automatic Generation of Assertions to Detect Potential Security Vulnerabilities in C Programs That Use Union and Pointer Types"],"prefix":"10.1109","author":[{"given":"Shamsul Kamal Ahmad","family":"Khalid","sequence":"first","affiliation":[]},{"given":"Jacob","family":"Zimmermann","sequence":"additional","affiliation":[]},{"given":"Diane","family":"Corney","sequence":"additional","affiliation":[]},{"given":"Colin","family":"Fidge","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/1127878.1127900","article-title":"A historical perspective on runtime assertion checking in software development","volume":"31","author":"clarke","year":"2006","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029913"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134309"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553576"},{"key":"14","article-title":"Protecting c programs from attacks via invalid pointer dereferences.","author":"yong","year":"2003","journal-title":"Foundations of Software Engineering"},{"key":"11","article-title":"Cyclone: A safe dialect of C","author":"jim","year":"2002","journal-title":"Proceedings of the USENIX Annual Technical Conference"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065019"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.2003.1203056"},{"key":"2","first-page":"1","article-title":"A first step toward automated detection of buffer overrun vulnerabilities","author":"wagner","year":"2000","journal-title":"Proc Symp Network and Distributed System Security"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1065887.1065892"},{"key":"10","first-page":"13","article-title":"Backwards-compatible bounds checking for arrays and pointers in C programs","author":"jones","year":"1997","journal-title":"Proc Third Int l Workshop Automatic Debugging"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/781147.781148"},{"key":"6","first-page":"217","article-title":"Debugging via runtime type checking","volume":"2029","author":"loginov","year":"2001","journal-title":"Proceedings FASE'01 LNCS"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"},{"journal-title":"Ensuring Continued Mainstream Use of Formal Methods An Assessment Roadmap and Issues","year":"2005","author":"chalin","key":"4"},{"year":"2010","key":"9"},{"journal-title":"A Runtime Assertion Checker for the Java Modeling Language","year":"2003","author":"cheon","key":"8"}],"event":{"name":"2010 4th International Conference on Network and System Security (NSS)","start":{"date-parts":[[2010,9,1]]},"location":"Melbourne, Australia","end":{"date-parts":[[2010,9,3]]}},"container-title":["2010 Fourth International Conference on Network and System Security"],"original-title":[],"link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/5634608\/5635482\/05635627.pdf?arnumber=5635627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T12:28:31Z","timestamp":1497875311000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/5635627\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":17,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1109\/nss.2010.63","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}