{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:19:17Z","timestamp":1779074357443,"version":"3.51.4"},"reference-count":62,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key R&D Program of China","award":["2016YFB1000903"],"award-info":[{"award-number":["2016YFB1000903"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61632015"],"award-info":[{"award-number":["61632015"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61772408"],"award-info":[{"award-number":["61772408"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U1766215"],"award-info":[{"award-number":["U1766215"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U1736205"],"award-info":[{"award-number":["U1736205"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61721002"],"award-info":[{"award-number":["61721002"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61472318"],"award-info":[{"award-number":["61472318"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61532015"],"award-info":[{"award-number":["61532015"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004806","name":"Fok Ying Tung Education Foundation","doi-asserted-by":"publisher","award":["151067"],"award-info":[{"award-number":["151067"]}],"id":[{"id":"10.13039\/501100004806","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ministry of Education Innovation Research Team","award":["IRT_17R86"],"award-info":[{"award-number":["IRT_17R86"]}]},{"name":"Project of China Knowledge Centre for Engineering Science and Technology"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2020,9,1]]},"DOI":"10.1109\/tse.2018.2871666","type":"journal-article","created":{"date-parts":[[2018,9,26]],"date-time":"2018-09-26T19:28:13Z","timestamp":1537990093000},"page":"916-931","source":"Crossref","is-referenced-by-count":2,"title":["Tell You a Definite Answer: Whether Your Data is Tainted During Thread Scheduling"],"prefix":"10.1109","volume":"46","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8380-1019","authenticated-orcid":false,"given":"Xiaodong","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zijiang","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qinghua","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Hao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7600-0934","authenticated-orcid":false,"given":"Pei","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ting","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","article-title":"Beyond instruction level taint propagation","author":"ng","year":"2013","journal-title":"Proc 6th European Workshop on Systems Security"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2006.6"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.29"},{"key":"ref32","first-page":"18","article-title":"Twalker: An efficient taint analysis tool","author":"ma","year":"2014","journal-title":"Proc 10th Int Conf Inf Assurance Security"},{"key":"ref31","first-page":"175","article-title":"Explicit untainting to reduce shadow memory usage and access frequency in taint analysis","author":"min","year":"2013","journal-title":"Computational Science and Its Applications"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2006.158"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455778"},{"key":"ref36","article-title":"Efficient, transparent, and comprehensive runtime code manipulation","author":"bruening","year":"2004"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/1837853.1693458"},{"key":"ref61","first-page":"267","article-title":"Finding and reproducing heisenbugs in concurrent programs","author":"musuvathi","year":"2008","journal-title":"Proc of the 8th USENIX Symp on Operating Systems Design and Implementation"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882302"},{"key":"ref27","article-title":"pcopy","year":"0"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985839"},{"key":"ref2","article-title":"Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software","author":"newsome","year":"2005","journal-title":"Proc Symp Network and Distributed System Security"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1945023.1945039"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SATE.2016.20"},{"key":"ref22","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Proc 8th USENIX Conf Operating Syst Des Implementation"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1713254.1713257"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Proc Theory Practice Softw 14th Int Conf Tools Algorithms Construction Anal Syst"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1995.524546"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1454115.1454128"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594315"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771798"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985824"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2017.2687880"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555796"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384651"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336779"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2584063"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786840"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2477820"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2688383"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273490"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1378533.1378538"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070546"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89862-7_1"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393650"},{"key":"ref15","article-title":"Dta++: Dynamic taint analysis with targeted control-flow propagation","author":"kang","year":"2011","journal-title":"Proc Symp Network and Distributed System Security"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831711"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.28"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669182"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2011.5749743"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629604"},{"key":"ref3","first-page":"121","article-title":"Taint-enhanced policy enforcement: A practical approach to defeat a wide range of attacks","author":"xu","year":"2006","journal-title":"Proc 15th Conf USENIX Security Symp"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315261"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2004.31"},{"key":"ref8","article-title":"Cve-2011-0990","year":"0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2018.2806891"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462167"},{"key":"ref9","article-title":"Concurrency attacks","author":"yang","year":"2012","journal-title":"Proceedings of the USENIX Workshop on Hot Topics in Parallelism"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_27"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_17"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001438"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393651"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34026-0_27"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1394608.1382153"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1735970.1736050"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9199135\/08472790.pdf?arnumber=8472790","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:34:38Z","timestamp":1651070078000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8472790\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,1]]},"references-count":62,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tse.2018.2871666","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,1]]}}}