tianyuzhou95 / kubo Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ris3-lab/kubo
Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detection for Linux kernel.