Merge pull request #1 from RiS3-Lab/main

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.

22 stars 3 forks source link

Merge pull request #1 from RiS3-Lab/main #2

Open tianyuzhou95 opened 3 years ago

tianyuzhou95 commented 3 years ago

update

tianyuzhou95 commented 3 years ago

update