{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:56:56Z","timestamp":1725551816282},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308812"},{"type":"electronic","value":"9783540322979"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11599555_32","type":"book-chapter","created":{"date-parts":[[2005,11,29]],"date-time":"2005-11-29T08:43:33Z","timestamp":1133253813000},"page":"320-331","source":"Crossref","is-referenced-by-count":2,"title":["Detecting Memory Access Errors with Flow-Sensitive Conditional Range Analysis"],"prefix":"10.1007","author":[{"given":"Yimin","family":"Xia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minxuan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"CERT\/CC. Advisories, http:\/\/www.cert.org\/advisories"},{"key":"32_CR2","unstructured":"Yichen, X., Andy, C., Dawson, E.: ARCHER: Using Symbolic, Path-sensitive Analysis to Detect Memory Access Errors. In: European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE), Helsinki, Finland (2003)"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Benjamin Livshits, V., Monica, S.L.: Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs. In: ESEC\/FSE, Helsinki, Finland (2003)","DOI":"10.1145\/940071.940114"},{"key":"32_CR4","unstructured":"Wagner, D., Foster, J., Brewer, E., Aiken, A.: A first step towards automated detection of buffer overrun vulnerabilities. In: The Symposium on Network and Distributed Systems Security, USA (2000)"},{"key":"32_CR5","unstructured":"Vinod, G., Somesh, J., David, C., David, M., David, V.: Buffer Overrun Detection using Linear Programming and Static Analysis. In: ACM conference on computer and communications security, USA (2003)"},{"key":"32_CR6","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: ACM Symposium on PLDI, USA (1977)","DOI":"10.1145\/512950.512973"},{"key":"32_CR7","unstructured":"Wunderling, R.: Paralleler und Objektorientierter Simplex-Algorithmus. PhD thesis, Konrad-Zuse-Zentrum fur Informationstechnik Berlin, TR (1996)"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Blume, W., Eigenmann, R.: Symbolic range propagation. In: The 9th International Parallel Processing Symposium, USA (1995)","DOI":"10.1109\/IPPS.1995.395956"},{"key":"32_CR9","unstructured":"Suan, H.Y., Susan, H.: Pointer-Range analysis. In: Static Analysis Symposium, Italy (2004)"},{"key":"32_CR10","unstructured":"Chris, L., Vikram, A.: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In: 2nd IEEE \/ ACM International Symposium on Code Generation and Optimization, USA (2004)"},{"key":"32_CR11","unstructured":"LLVM Language Reference Manual, http:\/\/llvm.cs.uiuc.edu\/docs"},{"key":"32_CR12","unstructured":"Hastings, R., Joyce, B.: Purify: Fast detection of memory leaks and access errors. In: The Winter USENIX Conference, USA (1992)"},{"key":"32_CR13","unstructured":"Jones, R., Kelly, P.: Backwards-compatible bounds checking for arrays and pointers in C programs. In: The International Workshop on Automatic Debugging, Sweden (1997)"},{"key":"32_CR14","unstructured":"Greg, M.: Bounds Checking Projects, http:\/\/gcc.gnu.org\/projects\/bp\/main.html"},{"key":"32_CR15","unstructured":"Olatunji, R., Monica, S.L.: A Practical Dynamic Buffer Overrun Detector. In: Network and Distributed System Security Symposium, USA (2004)"},{"key":"32_CR16","unstructured":"John, W., Mariam, K.: A Comparison of Publicly Available Tools for Dynamic Buffer Overrun Prevention. In: Network and Distributed System Security Symposium, USA (2003)"},{"key":"32_CR17","unstructured":"Nurit, D., Michael, R., Mooly, S.: CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overruns in C. In: ACM Conference on PLDI, USA (2003)"},{"key":"32_CR18","unstructured":"David, E., David, L.: Improving Security Using Extensible Lightweight Static Analysis. IEEE Software (January\/February 2002)"},{"key":"32_CR19","unstructured":"Arnaud, V., Guillaume, B.: Precise and Efficient Static Array Bound Checking for Large Embedded C Programs. In: ACM Conference on PLDI, USA (2004)"},{"key":"32_CR20","doi-asserted-by":"crossref","unstructured":"Steensgaard, B.: Points-to Analysis in Almost Linear Time. In: ACM Conference on PLDI, USA (1996)","DOI":"10.1145\/237721.237727"},{"key":"32_CR21","unstructured":"Manuvir, D.: Unification-based pointer analysis with directional assignments. In: ACM Conference on PLDI, USA (2000)"},{"key":"32_CR22","volume-title":"Introduction to algorithms","author":"H.C. Thomas","year":"2001","unstructured":"Thomas, H.C., Charles, E.L., Ronald, L.R., Clifford, S.: Introduction to algorithms. The MIT Press, Cambridge (2001)"},{"key":"32_CR23","doi-asserted-by":"crossref","unstructured":"Rice, H.G.: Classes of Recursively Enumerable Sets and their Decision Problems. Transactions of the American Mathematical Society\u00a0(89), 25\u201329 (1953)","DOI":"10.1090\/S0002-9947-1953-0053041-6"}],"container-title":["Lecture Notes in Computer Science","Embedded Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11599555_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:00:24Z","timestamp":1619492424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11599555_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308812","9783540322979"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11599555_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}