tangken333

Thanks for the reply! Maybe I can not change the bc, is there any LLVM-15 version for SVF that I can use?

Dear Sir, I used the LLVM-16 to build my IR again but still faced this problem. It seems that it is not a version problem. I upload my bc here....

> The bug is caused by trying connecting a direct value-flow from an integer to pointer (int2ptr instruction) when building a PTR only value flow graph. The source PAGNode (integer)...