Haoyu Li
Results
2
issues of
Haoyu Li
I'm using SVF to analyze Linux kernel-6.5. The LLVM-version is 14.0.6. And the inputs include 2600+ .bc files. At first, I'm using SVF-2.5 and everything goes well. It takes less...
When I'm using LLVM-14.0.6 and SVF-2.8, I can't cmake SVF-example. The output error is that: ``` -- Failed to find installed SVF instance; using legacy import method CMake Error at...