A Detecting Method of Array Bounds Defects Based on Symbolic Execution.

Chun Shan, Shiyou Sun, Jingfeng Xue, Changzhen Hu, Hongjin Zhu

Browse the full NSS paper archive.