{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:31:51Z","timestamp":1742913111477,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":11,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811308956"},{"type":"electronic","value":"9789811308963"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-981-13-0896-3_7","type":"book-chapter","created":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T11:06:46Z","timestamp":1528715206000},"page":"69-78","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Static Detection Method for C\/C++ Memory Defects Based on Triad Memory Model"],"prefix":"10.1007","author":[{"given":"Yuxia","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fusheng","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangyu","family":"Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Runan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,12]]},"reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/s11704-014-3460-8","volume":"9","author":"Zhenbo Xu","year":"2014","unstructured":"Xu, Z., Zhang, J., Xu, Z.: Melton: a practical and precise memory leak detection tool for C programs. Front. Comput. Sci. 9(1), 34\u201354 (2015)","journal-title":"Frontiers of Computer Science"},{"key":"7_CR2","unstructured":"Zhang, S., Shang, Z.: Software defect pattern analysis and location based on Cppcheck. Comput. Eng. Appl. 51(3), 69\u201373 (2015). (in Chinese)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Jung, Y., Yi, K.: Practical memory leak detector based on parameterized procedural summaries. In: Proceedings of the 7th International Symposium on Memory Management, pp. 131\u2013140. ACM (2008)","DOI":"10.1145\/1375634.1375653"},{"issue":"6","key":"7_CR4","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1145\/1273442.1250789","volume":"42","author":"Sigmund Cherem","year":"2007","unstructured":"Cherem, S., Princehouse, L., Rugina, R.: Practical memory leak detection using guarded value-flow analysis. In: Proceedings of PLDI, pp. 480\u2013491 (2007)","journal-title":"ACM SIGPLAN Notices"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Sui, Y., Ye, D., Xue, J.: Static memory leak detection using full-sparse value-flow analysis. In: Proceedings of International Symposium on Software Testing and Analysis. pp. 254\u2013264 (2012)","DOI":"10.1145\/2338965.2336784"},{"key":"7_CR6","unstructured":"Li, Q., Pan, M., Li, X.: Memory leak detection tools and evaluation methods. Comput. Sci. Explor. 3(1), 29\u201335 (2010). (in Chinese)"},{"key":"7_CR7","unstructured":"Wang, S., Quan, Y., Sun, J.: False positive recognition method for hull pointer reference defect based on classification. J. Comput. Appl. 10(2968), 2972\u20133005 (2017). (in Chinese)"},{"issue":"4","key":"7_CR8","first-page":"827","volume":"28","author":"X Li","year":"2017","unstructured":"Li, X., Zhou, Y., Li, M.C., Chen, Y.J., Xu, G.Q., Wang, L.Z., Li, X.D.: Automatically validating static memory leak warnings for C\/C++\u2009programs. Ruan Jian Xue Bao\/J. Softw. 28(4), 827\u2013844 (2017). (in Chinese)","journal-title":"Ruan Jian Xue Bao\/J. Softw."},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/978-3-642-16558-0_44","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"Z Xu","year":"2010","unstructured":"Xu, Z., Kremenek, T., Zhang, J.: A memory model for static analysis of C programs. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6415, pp. 535\u2013548. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16558-0_44"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/j.cose.2016.11.011","volume":"65","author":"Shahid Alam","year":"2017","unstructured":"Alam, S., Qu, Z., Riley, R., et al.: DroidNative: automating and optimizing detection of android native code malware variants. Comput. Secur. 65, 230\u2013246 (2017)","journal-title":"Computers & Security"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Xie, Y., Aiken, A.: Context-and path-sensitive memory leak detection. In: ACM SIGSOFT Software Engineering Notes, vol. 30(5), pp. 115\u2013125. ACM (2005)","DOI":"10.1145\/1095430.1081728"}],"container-title":["Communications in Computer and Information Science","Geo-Spatial Knowledge and Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-13-0896-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,19]],"date-time":"2019-10-19T04:59:42Z","timestamp":1571461182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-13-0896-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9789811308956","9789811308963"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-981-13-0896-3_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"GSKI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Geo-Spatial Knowledge and Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chiang Mai","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thailand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 December 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"gski2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.grmse2017.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}