Mingjie Xu

Compute DominatorTree for ICFG

1

Hi， llvm provide DominatorTree on funtion level, cause SVF build a ICFG, is there any approach to compute inter procedural dominator tree for ICFG ? Thanks!

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

6

I read the detailed code implementation in `LeakCheck.cpp` and `ProgSlice.cpp` as the wiki([Write a source sink analyzer](https://github.com/SVF-tools/SVF/wiki/Write-a-source-sink-analyzer)) said. As I understand, the analyzing object of `LeakCheck.cpp` is pointer, the source...

```cpp static constexpr unsigned NumCallerSavedRegs = sizeof(CallerSavedRegs) / sizeof(CallerSavedRegs[0]); static constexpr unsigned NumCalleeSavedRegs = sizeof(CalleeSavedRegs) / sizeof(CalleeSavedRegs[0]); static constexpr unsigned NumArgRegs = sizeof(ArgRegs) / sizeof(ArgRegs[0]); ```

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

3

As suggested in https://github.com/llvm/llvm-project/pull/171963, update `PHINode::removeIncomingValueIf()` to use the swap strategy too.