Qing Gao, Sen Ma, Sihao Shao, Yulei Sui, Guoliang Zhao, Luyao Ma, Xiao Ma, Fuyao Duan, Xiao Deng, Shikun Zhang, Xianglong Chen. CoBOT: static C/C++ bug detection in the presence of incomplete code. In Foutse Khomh, Chanchal K. Roy, Janet Siegmund, editors, Proceedings of the 26th Conference on Program Comprehension, ICPC 2018, Gothenburg, Sweden, May 27-28, 2018. pages 385-388, ACM, 2018. [doi]
Abstract is missing.