[angr] inter-function-level

Fish Wang fish at cs.ucsb.edu
Wed Mar 16 13:54:39 PDT 2016


Hira,

> My vote is: call_depth is better than inter_function_level, and
> max_call_depth is better than call_depth :-).

Then it'll probably be "max_call_depth" in the next release. I like that
term too :-)

> I assume the call tree depth, in this context, refers to the depth of
> the "dynamic" call tree associated with the VFG analysis, and if no
> max_call_depth is specified, then no such limit is imposed. Right?

That's right.

Best,
Fish

-----Original Message-----
From: Hira Agrawal [mailto:hagrawal at appcomsci.com] 
Sent: Wednesday, March 16, 2016 4:02 PM
To: Fish Wang <fish at cs.ucsb.edu>; angr at lists.cs.ucsb.edu
Subject: Re: [angr] inter-function-level

Fish,

Thanks for your quick response.

My vote is: call_depth is better than inter_function_level,  and 
max_call_depth is better than call_depth :-).

I assume the call tree depth, in this context, refers to the depth of 
the "dynamic" call tree associated with the VFG analysis, and if no 
max_call_depth is specified, then no such limit is imposed. Right?

-- Hira

On 3/16/2016 3:06 PM, Fish Wang wrote:
> Hi Hira,
>
> For CFG, "inter_function_level" has another name called "call_depth".
> Basically it tells the analysis not to trace into a call if it is too deep
> in the call tree, and the depth is specified by this parameter.
>
> Those two names will be unified later into one, I'm still now sure which
one
> is better though.
>
> Best,
> Fish
>
> -----Original Message-----
> From: angr [mailto:angr-bounces at lists.cs.ucsb.edu] On Behalf Of Hira
Agrawal
> Sent: Wednesday, March 16, 2016 2:23 PM
> To: angr at lists.cs.ucsb.edu
> Subject: [angr] inter-function-level
>
> I understand what context-sensitivity-level is, but what does
> inter-function-level mean? I know CFG analysis does not care about the
> latter, but VFG analysis does.  Is that option/argument explained
> anywhere? I didn't find associated discussion in any of the angr docs.
>
> Thanks in advance for any help resolving this query.
>
> -- Hira
>
>
>
> _______________________________________________
> angr mailing list
> angr at lists.cs.ucsb.edu
> https://lists.cs.ucsb.edu/mailman/listinfo/angr
>
>
>





More information about the angr mailing list