Example program for feeding VFG back into PointerAnalysis?

[TrivikramAT]

trafficstars

In the SVF paper there is a mention of refining the points-to set by feeding back the VFG into Pointer Analysis block

Is there any example program that I can refer, which uses this feature?

[yuleisui]

Flow-sensitive analysis uses SVFG. You could refer to wpa -fspta *.bc