KVS: a tool for knowledge-driven vulnerability searching. - Xingqi Cheng; Xiaobing Sun 001; Lili Bo; Ying Wei 012 (ESEC/SIGSOFT FSE, 2022)