Please update SVFPointerAnalysis.h in dg due to SVF updated.

[wliuxingxiangyu]

@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

[mchalupa]

I have tried some patched to update my local dg code, but failed.

What was the problem?

[mchalupa]

(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): https://github.com/mchalupa/dg/pull/412

(edit: clarified the error and that it came by e-mail)