wliuxingxiangyu issues

Repositories
Issues
Comments

Results 1 issues of


                                            wliuxingxiangyu

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

@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]](https://github.com/SVF-tools/SVF/commit/2d3280e35417ec4971e82b0402ee8a5b06e2eb8d#diff-d6ea86f325be7b72d6a6fbab680a83e9e7f40fc4568d924d22a8634b3a2d421a) I have tried some...