Same Node but with Different Source Loc in -vfspta Pointer Analysis about svf HOT 3 OPEN

This is strange as the instructions should be exactly the same if two nodes have the same id. Could you debug a bit to see how these llvm values are different?

from svf.

Hi, I just looked into the instructions and found out that they are not identical but most of them are assembly codes. I will look into the problems later.
I have another problem here, I just finished running `./wpa -ander -vfspta -print-fp vmlinux_v4.12.but the execution stops after the AUX Anderson points-to analysis without further refinements.
Is that because of the memory limitation or time limitation of the WPA analyzer (For I am analyzing a program as large as Linux kernel)? Will multi-level analysis become possible if we just focus the analysis on some fptrs but not all the function pointers?

from svf.

I have another problem here, I just finished running `./wpa -ander -vfspta -print-fp vmlinux_v4.12.but the execution stops after the AUX Anderson points-to analysis without further refinements.
Is that because of the memory limitation or time limitation of the WPA analyzer (For I am analyzing a program as large as Linux kernel)? Will multi-level analysis become possible if we just focus the analysis on some fptrs but not all the function pointers?

Hi, could anyone give me any hints on why vfspta does not scale to Kernel but AUX can scale? Thanks in advance

from svf.