Marek Chalupa
Marek Chalupa
There is a transitive dependency, otherwise the slice would not contain `c = getValue()`. Or what kind of dependency you mean?
Looking at the graph, it seems that there is missing the edge from `NODE0x55d4...720` to `%2 = call i32 foo()` if that is what you mean.
It is in the graph, but it is not displayed for some reason.
Done for FI, but what about for FS?
> I have tried some patched to update my local dg code, but failed. What was the problem?
(received by e-mail:) ``` xxx/c/dg/include/dg/llvm/PointerAnalysis/SVFPointerAnalysis.h:8:10: fatal error: SVF-FE/LLVMModule.h: 没有那个文件或目录 #include // LLVMModuleSet ^~~~~~~~~~~~~~~~~~~~~ compilation terminated. ``` Hi, I do not have much time to work on this right now, but...
Did you build LLVM as shared library? If not, either do that or you may try turning of dynamic linking.
> is dynamic linking the default building mode of dg ? And if I want to build dg static link to LLVM, what should I do? Simply change LLVM_LINK_DYLIB to...
> Should I modify CMakelist.txt? I vaguely remember that there was some kind of this problem when statically linking on MacOS. If you know how to fix that, feel free...
Could you be more specific? What have you tried and what failed?