{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:10:11Z","timestamp":1750198211821,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,1,17]],"date-time":"2020-01-17T00:00:00Z","timestamp":1579219200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2016QY07X1404"],"award-info":[{"award-number":["2016QY07X1404"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,1,17]]},"DOI":"10.1145\/3380625.3380642","type":"proceedings-article","created":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T18:33:06Z","timestamp":1590431586000},"page":"34-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["DepTaint"],"prefix":"10.1145","author":[{"given":"Binbin","family":"Li","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rui","family":"Ma","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuefei","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiajing","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinyuan","family":"He","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Beijing Institute of Technology, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"e_1_3_2_1_2_1","volume-title":"Usenix Conference on Security Symposium","author":"Ming J.","year":"2015","unstructured":"J. Ming , D. Wu , G. Xiao , J. Wang , and P. Liu . Taintpipe: pipelined symbolic taint analysis . In Usenix Conference on Security Symposium , 2015 . DOI= http:\/\/doi.org\/10.1145\/2970276.2970299. 10.1145\/2970276.2970299 J. Ming, D. Wu, G. Xiao, J. Wang, and P. Liu. Taintpipe: pipelined symbolic taint analysis. In Usenix Conference on Security Symposium, 2015. DOI= http:\/\/doi.org\/10.1145\/2970276.2970299."},{"key":"e_1_3_2_1_3_1","first-page":"16","volume-title":"Static taint analysis method for intent injection vulnerability in android applications. arXiv e-prints","author":"Xiong B.","year":"2017","unstructured":"B. Xiong , G. Xiang , T. Du , J. He , and S. Ji . Static taint analysis method for intent injection vulnerability in android applications. arXiv e-prints , pages 16 -- 31 , Dec. 2017 . DOI= http:\/\/doi.org\/10.1007\/978-3-319-69471-9_2. 10.1007\/978-3-319-69471-9_2 B. Xiong, G. Xiang, T. Du, J. He, and S. Ji. Static taint analysis method for intent injection vulnerability in android applications. arXiv e-prints, pages 16--31, Dec. 2017. DOI= http:\/\/doi.org\/10.1007\/978-3-319-69471-9_2."},{"key":"e_1_3_2_1_4_1","volume-title":"A software behavior model based on dynamic taint analysis","author":"Zhiyi Y.","year":"2017","unstructured":"Y. Zhiyi , S. Jiahui , G. Xiaobo , and Z. Daren . A software behavior model based on dynamic taint analysis . Journal of University of Chinese Academy of Sciences , 2017 . DOI= http:\/\/doi.org\/10.1109\/cscwd.2019.8791921. 10.1109\/cscwd.2019.8791921 Y. Zhiyi, S. Jiahui, G. Xiaobo, and Z. Daren. A software behavior model based on dynamic taint analysis. Journal of University of Chinese Academy of Sciences, 2017. DOI= http:\/\/doi.org\/10.1109\/cscwd.2019.8791921."},{"key":"e_1_3_2_1_5_1","volume-title":"International Journal of Adaptive Control and Signal Processing, feb","author":"Fu W.","year":"2018","unstructured":"W. Fu , R. Lin , and D. Inge . Taintassembly: Taint-based information flow control tracking for webassembly . International Journal of Adaptive Control and Signal Processing, feb 2018 . DOI= http:\/\/doi.org\/10.1002\/acs.2981. 10.1002\/acs.2981 W. Fu, R. Lin, and D. Inge. Taintassembly: Taint-based information flow control tracking for webassembly. International Journal of Adaptive Control and Signal Processing, feb 2018. DOI= http:\/\/doi.org\/10.1002\/acs.2981."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2004.31"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1945023.1945039"},{"key":"e_1_3_2_1_8_1","volume-title":"NDSS, 2005","author":"Newsome J.","year":"1804","unstructured":"J. Newsome and D. X. Song . Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software . In NDSS, 2005 . DOI= http:\/\/doi.org\/10.1145\/1 1804 05.1180444. 10.1145\/1180405.1180444 J. Newsome and D. X. Song. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In NDSS, 2005. DOI= http:\/\/doi.org\/10.1145\/1180405.1180444."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273490"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.29"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594299"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCBB.2018.8756383"},{"key":"e_1_3_2_1_13_1","first-page":"225","volume-title":"Privacy assessment of software architectures based on static taint analysis","author":"Von Maltitz M.","year":"2016","unstructured":"M. Von Maltitz , C. Diekmann , and G. Carle . Privacy assessment of software architectures based on static taint analysis . pages 225 -- 235 , 2016 . DOI= http:\/\/doi.org\/10.1007\/978-3-319-60225-7_16. 10.1007\/978-3-319-60225-7_16 M. Von Maltitz, C. Diekmann, and G. Carle. Privacy assessment of software architectures based on static taint analysis. pages 225--235, 2016. DOI= http:\/\/doi.org\/10.1007\/978-3-319-60225-7_16."},{"issue":"3","key":"e_1_3_2_1_14_1","first-page":"125","article-title":"The program dependence graph and its use in optimization","volume":"9","author":"Ferrante J.","year":"1983","unstructured":"J. Ferrante . The program dependence graph and its use in optimization . ACM Trasactions on Programming Languages and Systems , 9 ( 3 ): 125 -- 132 , 1983 . DOI= http:\/\/doi.org\/10.1007\/3-540-12925-1_33. 10.1007\/3-540-12925-1_33 J. Ferrante. The program dependence graph and its use in optimization. ACM Trasactions on Programming Languages and Systems, 9(3):125--132, 1983. DOI= http:\/\/doi.org\/10.1007\/3-540-12925-1_33.","journal-title":"ACM Trasactions on Programming Languages and Systems"},{"key":"e_1_3_2_1_15_1","first-page":"223","volume-title":"Semantical equivalence of the control flow graph and the program dependence graph","author":"Ito S.","year":"2018","unstructured":"S. Ito . Semantical equivalence of the control flow graph and the program dependence graph . pages 223 -- 246 , jul 2018 . DOI= http:\/\/doi.org\/10.1007\/978-3-319-89803-2_10. 10.1007\/978-3-319-89803-2_10 S. Ito. Semantical equivalence of the control flow graph and the program dependence graph. pages 223--246, jul 2018. DOI= http:\/\/doi.org\/10.1007\/978-3-319-89803-2_10."},{"key":"e_1_3_2_1_16_1","volume-title":"The program dependence graph in static program testing","author":"Korel B.","year":"1987","unstructured":"B. Korel . The program dependence graph in static program testing , volume 24 . Elsevier North-Holland, Inc. , 1987 . DOI= http:\/\/doi.org\/10.1016\/0020-0190 (87)90102-5. 10.1016\/0020-0190 B. Korel. The program dependence graph in static program testing, volume 24. Elsevier North-Holland, Inc., 1987. DOI= http:\/\/doi.org\/10.1016\/0020-0190 (87)90102-5."},{"key":"e_1_3_2_1_17_1","unstructured":"llvm-admin team. The llvm compiler infrastructure. http:\/\/-llvm.org. Accessed July 4 2019.  llvm-admin team. The llvm compiler infrastructure. http:\/\/-llvm.org. Accessed July 4 2019."},{"key":"e_1_3_2_1_18_1","volume-title":"System and method for converting control flow graph representations to control-dataflow graph representations","author":"Hammes J.","year":"2002","unstructured":"J. Hammes . System and method for converting control flow graph representations to control-dataflow graph representations , 2002 . DOI= http:\/\/doi.org\/10.1186\/1471-2105-15-178. 10.1186\/1471-2105-15-178 J. Hammes. System and method for converting control flow graph representations to control-dataflow graph representations, 2002. DOI= http:\/\/doi.org\/10.1186\/1471-2105-15-178."},{"key":"e_1_3_2_1_19_1","unstructured":"llvm-admin team. Writing a llvm pass. http:\/\/-llvm.org\/-docs\/WritingAnLLVMPass.html. Accessed July 4 2019.  llvm-admin team. Writing a llvm pass. http:\/\/-llvm.org\/-docs\/WritingAnLLVMPass.html. Accessed July 4 2019."},{"volume-title":"https:\/\/-www.llvm.org\/-docs\/-MemorySSA.html. Accessed","year":"2019","key":"e_1_3_2_1_20_1","unstructured":"llvm-admin team. Memoryssa. https:\/\/-www.llvm.org\/-docs\/-MemorySSA.html. Accessed July 4, 2019 . llvm-admin team. Memoryssa. https:\/\/-www.llvm.org\/-docs\/-MemorySSA.html. Accessed July 4, 2019."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.29"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2008.37"},{"key":"e_1_3_2_1_23_1","first-page":"408","volume-title":"Software Engineering","volume":"33","author":"Yang Z.","year":"2013","unstructured":"Z. Yang and M. Yang . Leakminer: Detect information leakage on android with static taint analysis . In Software Engineering , volume 33 , pages 408 -- 411 , 2013 . DOI= http:\/\/doi.org\/10.3724\/sp.j.1087.2013.00408. 10.3724\/sp.j.1087.2013.00408 Z. Yang and M. Yang. Leakminer: Detect information leakage on android with static taint analysis. In Software Engineering, volume 33, pages 408--411, 2013. DOI= http:\/\/doi.org\/10.3724\/sp.j.1087.2013.00408."},{"key":"e_1_3_2_1_24_1","unstructured":"M.-L. P. Sanjay Rawat Laurent Mounier. Static taint-analysis on binary executables. http:\/\/-web.cs.iastate.edu\/-~weile\/-cs513x\/-5.TaintAnalysis2.pdf. Accessed July 4 2019.  M.-L. P. Sanjay Rawat Laurent Mounier. Static taint-analysis on binary executables. http:\/\/-web.cs.iastate.edu\/-~weile\/-cs513x\/-5.TaintAnalysis2.pdf. Accessed July 4 2019."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594299"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1150402.1150522"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01205182"},{"key":"e_1_3_2_1_28_1","volume-title":"International Symposium on Microarchitecture","author":"Mahlke S. A.","year":"1995","unstructured":"S. A. Mahlke . Effective compiler support for predicated execution using the hyperblock . In International Symposium on Microarchitecture , 1995 . DOI= http:\/\/doi.org\/10.1145\/223982.225965. 10.1145\/223982.225965 S. A. Mahlke. Effective compiler support for predicated execution using the hyperblock. In International Symposium on Microarchitecture, 1995. DOI= http:\/\/doi.org\/10.1145\/223982.225965."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368161"},{"issue":"8","key":"e_1_3_2_1_30_1","first-page":"0","article-title":"Automated software test data generation","volume":"16","year":"1990","unstructured":"Korel and B . Automated software test data generation . IEEE Transactions on Software Engineering , 16 ( 8 ): 0 -- 879 , 1990 . DOI= http:\/\/doi.org\/10.1109\/32.57624. 10.1109\/32.57624 Korel and B. Automated software test data generation. IEEE Transactions on Software Engineering, 16(8):0--879, 1990. DOI= http:\/\/doi.org\/10.1109\/32.57624.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1077276.1077279"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/647170.718283"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542486"}],"event":{"name":"ICMSS 2020: 2020 4th International Conference on Management Engineering, Software Engineering and Service Sciences","sponsor":["China University of Geosciences"],"location":"Wuhan China","acronym":"ICMSS 2020"},"container-title":["Proceedings of the 2020 4th International Conference on Management Engineering, Software Engineering and Service Sciences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380625.3380642","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3380625.3380642","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:32Z","timestamp":1750195892000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3380625.3380642"}},"subtitle":["A Static Taint Analysis Method Based on Program Dependence"],"short-title":[],"issued":{"date-parts":[[2020,1,17]]},"references-count":34,"alternative-id":["10.1145\/3380625.3380642","10.1145\/3380625"],"URL":"https:\/\/doi.org\/10.1145\/3380625.3380642","relation":{},"subject":[],"published":{"date-parts":[[2020,1,17]]},"assertion":[{"value":"2020-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}