Qiaosen Liu
Qiaosen Liu
Dear Developers. I think I know why CHA is not working. The code below https://github.com/SVF-tools/SVF/blob/6f1bbc276fa9dd62f6ae87ee83d0976616149cb6/svf/lib/Util/Options.cpp#L310-L314 indicates the options supported by SVF, analyzing c++ indirect calls using cha is disabled by...
> -v-call-cha I have checked the call graph and when both -v-call-cha and -ander options are added, svf adds two edges to the same candidate for the virtual call, one...
> Does it mean both call graphs are correct? Both call graphs are incorrect (one has duplicate edges and one is missing edges). For call graphs generated with both -ander...
Is there a way for SVF to get the vitrual function callsite and all possible call targets on the IR?
> 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!
> Would you help us narrow down and pinpoint the CHG problem if you can? Thanks for your reply, I am using SVF-2.1 version. I see a similar problem "https://github.com/SVF-tools/SVF/issues/280"....
> > Would you help us narrow down and pinpoint the CHG problem if you can? > > Thanks for your reply, I am using SVF-2.1 version. I see a...
> > > > Would you help us narrow down and pinpoint the CHG problem if you can? > > > > > > > > > Thanks for your...
> > > > > > Would you help us narrow down and pinpoint the CHG problem if you can? > > > > > > > > > >...
> Yes, run Andersen analysis first and then update ICFG. Thanks for the suggestion, I will try it later and it will be very helpful for me to learn SVF.