Mingjie Xu comments

Repositories
Issues
Comments

Results 3 comments of


                                            Mingjie Xu

Is is possibale to write a source-sink analyzer whose analyzing object is not pointer?

Thanks for the reply! I will try with `memSSA.buildFullSVFGWithoutOPT(ander)` .

Is is possibale to write a source-sink analyzer whose analyzing object is not pointer?

Hi yuleisui, Sorry for another question, how can I perform a reachable analysis for basic blocks in ICFG to see if two basic blocks are AllPathReachable or SomePathReach?

[IR] Update `PHINode::removeIncomingValueIf()` to use the swap strategy like `PHINode::removeIncomingValue()`

> But, for example, if someone did PN->removeIncomingValueIf([](unsigned Idx) { return Idx == 0; }) to remove only the first incoming value, I believe the new code would end up...