SVF icon indicating copy to clipboard operation
SVF copied to clipboard
verified publisher icon SVF-tools

Compute DominatorTree for ICFG

Open Enna1 opened this issue 5 years ago • 1 comments

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!

Enna1 avatar Oct 20 '20 08:10 Enna1

Unfortunately, no at this stage. Would you like to contribute one for us?

yuleisui avatar Oct 20 '20 09:10 yuleisui