You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I have tried some patched to update my local dg code, but failed.
So could you please help me to update the SVFPointerAnalysis.h in dg ? #include <SVF-FE/PAGBuilder.h> // PAGBuilder
The text was updated successfully, but these errors were encountered:
(received by e-mail:)
```
xxx/c/dg/include/dg/llvm/PointerAnalysis/SVFPointerAnalysis.h:8:10: fatal error: SVF-FE/LLVMModule.h: 没有那个文件或目录
#include <SVF-FE/LLVMModule.h> // LLVMModuleSet
^~~~~~~~~~~~~~~~~~~~~
compilation terminated.
```
Hi,
I do not have much time to work on this right now, but you can try to
adjust the code to comply with the current version of creating PAG, see
e.g., https://github.com/SVF-tools/SVF/blob/master/tools/WPA/wpa.cpp
There is also an unmerged PR that fixed some of the issues with newer SVF
(but older that the current one): #412
(edit: clarified the error and that it came by e-mail)
@mchalupa
Hi, thanks for the nice tool!
I used the tool with SVF to pointer analysis.
I noticed the SVF had been updated.
[include/SVF-FE/PAGBuilder.h → include/SVF-FE/SVFIRBuilder.h]
I have tried some patched to update my local dg code, but failed.
So could you please help me to update the SVFPointerAnalysis.h in dg ?
#include <SVF-FE/PAGBuilder.h> // PAGBuilder
The text was updated successfully, but these errors were encountered: