CoBOT: static C/C++ bug detection in the presence of incomplete code. - Qing Gao; Sen Ma; Sihao Shao; Yulei Sui; Guoliang Zhao; Luyao Ma; Xiao Ma; Fuyao Duan; Xiao Deng; Shikun Zhang; Xianglong Chen (ICPC, 2018)