search

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

adjust llvm path for building Z3 #6

Closed peng-hui closed 3 years ago

peng-hui commented 3 years ago

Simple fix.