Faced a crash on saber

[tangken333]

Faced a crash while running the saber for a llvm-15 IR.

The IR file is attached. Uploading zkevm_circuits-039281c79cc41144.ll.zip…

[yuleisui]

Are you using the latest SVF? If so, please use llvm-16 to compile your bc.

[tangken333]

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

[yuleisui]

SVF-1.9 works for llvm-14

[tangken333]

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. Thanks! zkevm_circuits-8a1cfd59e298339f.ll.zip

[yuleisui]

@jumormt you could take a look at this? It might because of missing a pag edge during svfir builder

[jumormt]

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) does not have a definition on PTROnly SVFG, which raises the assertion. A possible solution is to check whether the source and destination PAG Node are both pointers when constructing PTROnly SVFG. @yuleisui @tangken333

[tangken333]

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) does not have a definition on PTROnly SVFG, which raises the assertion. A possible solution is to check whether the source and destination PAG Node are both pointers when constructing PTROnly SVFG. @yuleisui @tangken333

Thanks for your help! I will try it again.