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.
23Updated 3 years ago

Alternatives and similar repositories for kubo:

Users that are interested in kubo are comparing it to the libraries listed below