get{Call,Return}FlowFunction vs. getCallToReturnFlowFunction

Moderator: Automated Code Analysis for Large Software Systems

pSub
Mausschubser
Mausschubser
Beiträge: 61
Registriert: 21. Sep 2009 22:56

get{Call,Return}FlowFunction vs. getCallToReturnFlowFunction

Beitrag von pSub »

Hi,

we are confused about the difference between get{Call,Return}FlowFunction and getCallToReturnFlowFunction. Is the difference explained somewhere? If not, can you give a short explanation?

thank you

Benutzeravatar
ericbodden
Moderator
Moderator
Beiträge: 243
Registriert: 5. Apr 2010 19:06

Re: get{Call,Return}FlowFunction vs. getCallToReturnFlowFunc

Beitrag von ericbodden »

Hi.

Sure, this was on the IFDS slides and IDE slides, and it is also explained in the IFDS paper. The call-flow function goes from the caller stmt to the first stmt in the callee method. The return-flow function goes from every exit statement of the callee to the successor of the call statement. The call-to-return flow function bypasses the call; it goes directly from the call statement to its successor node in the caller. The latter should be used to propagate every abstraction that is not affected by the call. The call-flow and return-flow functions should be used to map parameter and return values from caller to callee and vice versa.
-- Eric

pSub
Mausschubser
Mausschubser
Beiträge: 61
Registriert: 21. Sep 2009 22:56

Re: get{Call,Return}FlowFunction vs. getCallToReturnFlowFunc

Beitrag von pSub »

Thanks!

Antworten

Zurück zu „Automated Code Analysis for Large Software Systems“