SVF icon indicating copy to clipboard operation
SVF copied to clipboard

Is there a way for SVF to get the vitrual function callsite and all possible call targets on the IR?

Open Lqs66 opened this issue 1 year ago • 2 comments

Dear Developers. I have been most looking for a way to statically analyze virtual function calls on IR, and I would like to ask if SVF provides such a feature? I would like to call it directly.

Lqs66 avatar Dec 21 '23 02:12 Lqs66

Yes, but based on pointer analysis and CHG you may wish to take a look at "BVDataPTAImpl::onTheFlyCallGraphSolve".

yuleisui avatar Dec 21 '23 02:12 yuleisui

Yes, but based on pointer analysis and CHG you may wish to take a look at "BVDataPTAImpl::onTheFlyCallGraphSolve".

Thank you for your reply. It was very helpful to me!

Lqs66 avatar Dec 21 '23 02:12 Lqs66