Yulei Sui

remove `include/Util/Casting.h` would be a good option. Since we have too many `dyn_cast` and `isa` in SVF, can we remove `llvm::` and typedef it here: https://github.com/SVF-tools/SVF/blob/master/include/Util/BasicTypes.h

I am unclear about your problem unless you have some concrete examples. The path satisfiability evaluation is done by the underlying BDDs, which might cause non-deterministic due to its project...

Try again with the latest SVF. This patch https://github.com/SVF-tools/SVF/commit/b380f46b9621123baf30f2482d411868aa62f584 should fix your issue @HowToNamene

Can you also send us your bc code that triggered the assertion?

`mpktest-bfec73d5f75514f6.2y7dp8eo2oaxkxr7.rcgu.bc` works fine at myside for `-fspta` no assertion. `mpktest-bfec73d5f75514f6.1dnfl7w3u9olhqeo.rcgu.bc` triggered an assertion but not yours. ``` * frame #0: 0x000000010066e707 wpa`(anonymous namespace)::TypePrinting::print(llvm::Type*, llvm::raw_ostream&) + 23 frame #1: 0x000000010066e5f9 wpa`llvm::Type::print(llvm::raw_ostream&,...

ICFG is initially built without pointer analysis, thus indirect calls are not resolved. If you want to connect indirect calls, you will need to have a callgraph produced by pointer...

I did not quite get what you mean by another indirection. Could you post the incorrect ICFG? What is the correct ICFG suppose to be?

OK, I got what you mean. SVF currently does not support integer value analysis or path-sensitive analysis when performing pointer analysis, thus it will conservatively assume that `layered_ptr` at line...

You may wish to take a look at this code fragment. https://github.com/SVF-tools/SVF/blob/master/lib/MemoryModel/PointerAnalysis.cpp#L492-L507

Thanks for reporting. This is a bug when the same global objects across two llvm modules refer to two different PAGNode IDs. The fix is to make sure we only...