{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T18:54:26Z","timestamp":1771959266548,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T00:00:00Z","timestamp":1614384000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T00:00:00Z","timestamp":1614384000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T00:00:00Z","timestamp":1614384000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100007615","name":"Australian Research","doi-asserted-by":"publisher","award":["DP210101348"],"award-info":[{"award-number":["DP210101348"]}],"id":[{"id":"10.13039\/100007615","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000943","name":"CSIRO's Data61","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000943","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,2,27]]},"DOI":"10.1109\/cgo51591.2021.9370334","type":"proceedings-article","created":{"date-parts":[[2021,3,11]],"date-time":"2021-03-11T21:33:26Z","timestamp":1615498406000},"page":"222-235","source":"Crossref","is-referenced-by-count":10,"title":["Object Versioning for Flow-Sensitive Pointer Analysis"],"prefix":"10.1109","author":[{"given":"Mohamad","family":"Barbar","sequence":"first","affiliation":[]},{"given":"Yulei","family":"Sui","sequence":"additional","affiliation":[]},{"given":"Shiping","family":"Chen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480911"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2011.5764696"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49727-7_4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2019.8894275"},{"key":"ref14","first-page":"75","article-title":"LLVM: A compilation framework for lifelong program analysis & transformation","author":"lattner","year":"2004","journal-title":"Proceedings of the International Symposium on Code Generation and Optimization Feedback-directed and Runtime Optimization CGO '04"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250766"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926389"},{"key":"ref17","first-page":"1007","article-title":"DR. CHECKER: A soundy analysis for linux kernel drivers","author":"machiry","year":"2017","journal-title":"Proceedings of the 26th USENIX Conference on Security Symposium SEC'17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254092"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.9"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180178"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99594"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53413-7_5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277670"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61053-7_66"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_20"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348255"},{"key":"ref2","author":"bach","year":"1986","journal-title":"The Design of the UNIX Operating System"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74061-2_17"},{"key":"ref1","author":"andersen","year":"1994","journal-title":"Program analysis and specialization for the C programming language"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349310"},{"key":"ref22","first-page":"253","article-title":"Set-based preprocessing for points-to analysis","author":"smaragdakis","year":"2013","journal-title":"Proceedings of the 28th Annual ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications OOPSLA '13"},{"key":"ref21","first-page":"393","article-title":"PhASAR: an inter-procedural static analysis framework for C\/C++","author":"schubert","year":"2019","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems TACAS '19"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.09.038"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54807-9_2"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336784"}],"event":{"name":"2021 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","location":"Seoul, Korea (South)","start":{"date-parts":[[2021,2,27]]},"end":{"date-parts":[[2021,3,3]]}},"container-title":["2021 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9370300\/9370301\/09370334.pdf?arnumber=9370334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:42:50Z","timestamp":1652197370000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9370334\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,27]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/cgo51591.2021.9370334","relation":{},"subject":[],"published":{"date-parts":[[2021,2,27]]}}}