[Soot-list] About generating call graph

Marc-André Laverdière-Papineau marc-andre.laverdiere-papineau at polymtl.ca
Wed Jun 26 08:32:54 EDT 2013


Hello,

Adding to what was said already, you'd need to generate a main that
calls  your actual entry point. Bernhard and I are doing that for JEE
already and its working fine. Flowdroid is also generating entry points
for Android applications.

Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 24/06/13 05:23 AM, Richard Xiao wrote:
> I agree with Sabah. The "this" pointer of "methodB" is empty, hence soot
> cannot resolve the call to "methodC".
> 
> One more note is that, for user customized entry point, the arguments of
> which are not specially treated. Only the arguments of default entry
> points (main, threadgroup functions, etc) are hand coded as non-empty.
> 
> 
> 
> On Mon, Jun 24, 2013 at 3:51 PM, Quentin Sabah <quentin.sabah at inria.fr
> <mailto:quentin.sabah at inria.fr>> wrote:
> 
>     Hi, this is normal since you set methodB as an entry-point. Spark
>     doesn't find any allocation corresponding to the 'this' pointer in
>     methodB, thus it cannot resolve the virtual call to methodC.
> 
>     --
>     Quentin Sabah, CIFRE Ph.D. student
>     Grenoble University
>     INRIA-SPADES                   | STMicroelectronics/AST
>     Montbonnot, France             | Grenoble, France
>     mailto:quentin.sabah at inria.fr <mailto:quentin.sabah at inria.fr>  |
>     mailto:quentin.sabah at st.com <mailto:quentin.sabah at st.com>
>     phone: +33 476 61 54 57 <tel:%2B33%20476%2061%2054%2057>        |
>     phone: +33 476 58 44 14 <tel:%2B33%20476%2058%2044%2014>
>     _______________________________________________
>     Soot-list mailing list
>     Soot-list at sable.mcgill.ca <mailto:Soot-list at sable.mcgill.ca>
>     http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> 
> 
> 
> 
> -- 
> Richard Xiao Xiao
> PhD Student @ CSE @ Hong Kong University of Science and Technology
> www.cse.ust.hk/~richardxx <http://www.cse.ust.hk/~richardxx>
> 
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> 


More information about the Soot-list mailing list