{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:59Z","timestamp":1750221059821,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,16]],"date-time":"2018-09-16T00:00:00Z","timestamp":1537056000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9,16]]},"DOI":"10.1145\/3275219.3275225","type":"proceedings-article","created":{"date-parts":[[2018,10,9]],"date-time":"2018-10-09T12:14:26Z","timestamp":1539087266000},"page":"1-10","source":"Crossref","is-referenced-by-count":8,"title":["Vanguard"],"prefix":"10.1145","author":[{"given":"Lingyun","family":"Situ","sequence":"first","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linzhang","family":"Wang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanyang Technological University Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bing","family":"Mao","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2009. TaintAnalysisBenchmark. https:\/\/github.com\/dceara\/tanalysis\/tree\/master\/tanalysis\/tests. (2009).  2009. TaintAnalysisBenchmark. https:\/\/github.com\/dceara\/tanalysis\/tree\/master\/tanalysis\/tests. (2009)."},{"key":"e_1_3_2_1_2_1","unstructured":"2017. Bug1. https:\/\/github.com\/jabberd2\/jabberd2\/issues\/160. (2017).  2017. Bug1. https:\/\/github.com\/jabberd2\/jabberd2\/issues\/160. (2017)."},{"key":"e_1_3_2_1_3_1","unstructured":"2017. Bug2. https:\/\/github.com\/jabberd2\/jabberd2\/issues\/159. (2017).  2017. Bug2. https:\/\/github.com\/jabberd2\/jabberd2\/issues\/159. (2017)."},{"key":"e_1_3_2_1_4_1","unstructured":"2017. National Vulnerability Database. https:\/\/nvd.nist.gov. (2017).  2017. National Vulnerability Database. https:\/\/nvd.nist.gov. (2017)."},{"volume-title":"OWASP2017","key":"e_1_3_2_1_5_1"},{"volume-title":"USENIX Security Symposium. 51--66","year":"2009","author":"Akritidis Periklis","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","unstructured":"B\u00e9atrice B\u00e9rard Michel Bidoit Alain Finkel Fran\u00e7ois Laroussinie Antoine Petit Laure Petrucci and Philippe Schnoebelen. 2013. Systems and software verification: model-checking techniques and tools. Springer Science & Business Media.  B\u00e9atrice B\u00e9rard Michel Bidoit Alain Finkel Fran\u00e7ois Laroussinie Antoine Petit Laure Petrucci and Philippe Schnoebelen. 2013. Systems and software verification: model-checking techniques and tools. Springer Science & Business Media."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11859-016-1133-1"},{"key":"e_1_3_2_1_10_1","unstructured":"Dumitru Ceara Marie-Laure Potet Grenoble INP ENSIMAG and Laurent MOUNIER. 2009. Detecting Software Vulnerabilities-Static Taint Analysis. V\u00e9rimag-Distributed and Complex System Group Polytechnic University of Bucharest (2009).  Dumitru Ceara Marie-Laure Potet Grenoble INP ENSIMAG and Laurent MOUNIER. 2009. Detecting Software Vulnerabilities-Static Taint Analysis. V\u00e9rimag-Distributed and Complex System Group Polytechnic University of Bucharest (2009)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2009.13"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2013.25"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273490"},{"key":"e_1_3_2_1_14_1","unstructured":"Ankush Das and Akash Lal. 2017. Precise Null Pointer Analysis Through Global Value Numbering. arXiv preprint arXiv:1702.05807 (2017).  Ankush Das and Akash Lal. 2017. Precise Null Pointer Analysis Through Global Value Numbering. arXiv preprint arXiv:1702.05807 (2017)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2743019"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-140508"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.29"},{"key":"e_1_3_2_1_18_1","unstructured":"Min Gyung Kang Stephen McCamant Pongsin Poosankam and Dawn Song. 2011. DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation. In NDSS.  Min Gyung Kang Stephen McCamant Pongsin Poosankam and Dawn Song. 2011. DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation. In NDSS."},{"key":"e_1_3_2_1_19_1","unstructured":"Uday P Khedker. 2014. Buffer Overflow Analysis for C. arXiv preprint arXiv:1412.5400 (2014).  Uday P Khedker. 2014. Buffer Overflow Analysis for C. arXiv preprint arXiv:1412.5400 (2014)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486893"},{"volume-title":"The BSD Conference. 1--2.","year":"2008","author":"Lattner Chris","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","unstructured":"Byoungyoung Lee Chengyu Song Yeongjin Jang Tielei Wang Taesoo Kim Long Lu and Wenke Lee. 2015. Preventing Use-after-free with Dangling Pointers Nullification.. In NDSS.  Byoungyoung Lee Chengyu Song Yeongjin Jang Tielei Wang Taesoo Kim Long Lu and Wenke Lee. 2015. Preventing Use-after-free with Dangling Pointers Nullification.. In NDSS."},{"key":"e_1_3_2_1_23_1","unstructured":"Li Li Alexandre Bartel Jacques Klein Yves Le Traon Steven Arzt Siegfried Rasthofer Eric Bodden Damien Octeau and Patrick Mcdaniel. 2014. I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis. arXiv preprint arXiv:1404.7431 (2014).  Li Li Alexandre Bartel Jacques Klein Yves Le Traon Steven Arzt Siegfried Rasthofer Eric Bodden Damien Octeau and Patrick Mcdaniel. 2014. I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis. arXiv preprint arXiv:1404.7431 (2014)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483778"},{"volume-title":"Information Theory and Information Security (ICITIS), 2010 IEEE International Conference on. IEEE, 521--524","year":"2010","author":"Li Peng","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509553"},{"key":"e_1_3_2_1_27_1","volume-title":"USENIX Security","volume":"15","author":"Ming Jiang","year":"2015"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.4186\/ej.2011.15.2.31"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234183"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321746"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635872"},{"key":"e_1_3_2_1_33_1","unstructured":"Michael Sipser. 2006. Introduction to the Theory of Computation. Vol. 2. Thomson Course Technology Boston.   Michael Sipser. 2006. Introduction to the Theory of Computation. Vol. 2. Thomson Course Technology Boston."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076021.2048146"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480741.2480743"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2302311"},{"key":"e_1_3_2_1_38_1","unstructured":"Michael Sutton Adam Greene and Pedram Amini. 2007. Fuzzing: brute force vulnerability discovery. Pearson Education.   Michael Sutton Adam Greene and Pedram Amini. 2007. Fuzzing: brute force vulnerability discovery. Pearson Education."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.13"},{"key":"e_1_3_2_1_40_1","unstructured":"David Wagner Jeffrey S Foster Eric A Brewer and Alexander Aiken. 2000. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.. In NDSS. 2000--02.  David Wagner Jeffrey S Foster Eric A Brewer and Alexander Aiken. 2000. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.. In NDSS. 2000--02."},{"key":"e_1_3_2_1_41_1","unstructured":"Mingxin Wang and Jingfu Zhao. 2015. A free boundary problem for the predator--prey model with double free boundaries. Journal of Dynamics and Differential Equations (2015) 1--23.  Mingxin Wang and Jingfu Zhao. 2015. A free boundary problem for the predator--prey model with double free boundaries. Journal of Dynamics and Differential Equations (2015) 1--23."},{"key":"e_1_3_2_1_42_1","unstructured":"Tielei Wang Tao Wei Zhiqiang Lin and Wei Zou. 2009. IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution.. In NDSS. Citeseer.  Tielei Wang Tao Wei Zhiqiang Lin and Wei Zou. 2009. IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution.. In NDSS. Citeseer."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516665"}],"event":{"name":"Internetware '18: The Tenth Asia-Pacific Symposium on Internetware","sponsor":["Institute of Software, Chinese Academy of Sciences","CCF China Computer Federation"],"location":"Beijing China","acronym":"Internetware '18"},"container-title":["Proceedings of the Tenth Asia-Pacific Symposium on Internetware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3275219.3275225","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3275219.3275225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:44:38Z","timestamp":1750207478000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3275219.3275225"}},"subtitle":["Detecting Missing Checks for Prognosing Potential Vulnerabilities"],"short-title":[],"issued":{"date-parts":[[2018,9,16]]},"references-count":43,"alternative-id":["10.1145\/3275219.3275225","10.1145\/3275219"],"URL":"https:\/\/doi.org\/10.1145\/3275219.3275225","relation":{},"subject":[],"published":{"date-parts":[[2018,9,16]]}}}