Chun Shan, Shiyou Sun, Jingfeng Xue, Changzhen Hu, Hongjin Zhu. A Detecting Method of Array Bounds Defects Based on Symbolic Execution. In Zheng Yan, Refik Molva, Wojciech Mazurczyk, Raimo Kantola, editors, Network and System Security - 11th International Conference, NSS 2017, Helsinki, Finland, August 21-23, 2017, Proceedings. Volume 10394 of Lecture Notes in Computer Science, pages 373-385, Springer, 2017. [doi]
Abstract is missing.