RiS3-Lab kubo issues - Githubissues

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

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Bug fix

#7 peng-hui closed 3 years ago
0
adjust llvm path for building Z3

#6 peng-hui closed 3 years ago
0
group child modules to a full module——vmlinux.bc

#5 boti-li opened 3 years ago
3
generating llvm ir and call graph

#4 meweez opened 3 years ago
6
"Build llvm bc : python main.py irgen" costs too much hours

#3 boti-li opened 3 years ago
1
Merge pull request #1 from RiS3-Lab/main

#2 tianyuzhou95 opened 3 years ago
1
generation of bit-code file for certain individual .c source code failed

#1 Lawliar opened 3 years ago
0

RiS3-Lab / kubo

issues

Bug fix

adjust llvm path for building Z3

group child modules to a full module——vmlinux.bc

generating llvm ir and call graph

"Build llvm bc : python main.py irgen" costs too much hours

Merge pull request #1 from RiS3-Lab/main

generation of bit-code file for certain individual .c source code failed