GitHub repository: tianyuzhou95/kubo
Description: Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detection for Linux kernel.