Yuxia Wang, Fusheng Jin, Xiangyu Han, Runan Wang. Static Detection Method for C/C++ Memory Defects Based on Triad Memory Model. In Hanning Yuan, Jing Geng, Chuanlu Liu, Fuling Bian, Tisinee Surapunt, editors, Geo-Spatial Knowledge and Intelligence - 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part II. Volume 849 of Communications in Computer and Information Science, pages 69-78, Springer, 2017. [doi]