[Soot-list] How to get inter-procedural control flow by using soot?

[Eric Bodden]

Hi Tina.

As Marc-Andre suggested, it's easy to use a combination of the call
graph and intra-procedural ExceptionalUniGraphs to get
inter-procedural control flow.

Eric

On 19 October 2012 18:36, Marc-Andre Laverdiere-Papineau
<marc-andre.laverdiere-papineau at polymtl.ca> wrote:
> Hello,
>
> Ideally, you should get a call graph (e.g. Spark) and use the call graph
> APIs to know the destination edges at a given point in your program.
>
> On 2012-10-19 03:44, tina wrote:
>> Hi,
>>
>>           I want to use soot to get inter-procedural control flow. I saw
>> there is a class called InterProceduralAnalyses
>> in“soot-2.5.0\soot\dava\toolkits\base\AST”, but I don’t know how to use
>> this class.
>>
>> Therefore, I want to get inter-procedural control flow in another way. I
>> tried to get main method control flow , if unit in this control flow
>> contains “virtualinvoke” and invoke target project method not library
>> functions, then get the method control flow, finally I can get an
>> inter-procedural control flow.
>>
>>           Later, I found some problems. First, how to get the target
>> project method list, as I know, Scene also contains library functions,
>> how to distinguish them. Second, if I know which unit is the entry of
>> submethod, how to use this unit to get the submethod’s UnitGraph.
>>
>> regards
>>
>> Tina
>>
>>
>>
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>
>
>
> --
> Marc-André Laverdière-Papineau
> Étudiant au doctorat - PhD Student
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list



-- 
Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt