[Wala-wala] Query Regarding Wala library methods ending up in the Callgraph

Akshay Utture

unread,

Jun 27, 2019, 7:57:30 AM6/27/19

to wala...@lists.sourceforge.net

Hi,

I ran a simple zero-cfa callgraph algorithm on a sample jar file according to the examples provided on the Wala Wiki website. There are, however, a couple of methods from the WALA library that appear in the callgraph. (WALA version 1.5.0)

com/ibm/wala/model/java/lang/System.arraycopy:(Ljava/lang/Object;Ljava/lang/Object;)V

wala/lambda$java$time$temporal$TemporalQueries$4.queryFrom:(Ljava/time/temporal/TemporalAccessor;)Ljava/lang/Object;

Could you tell me if I am somehow misusing the API, or if this is perhaps an error.

I am attaching the source code used to generate the same.

I can attach the sample jar file if needed.

Regards,

Akshay Utture

WalaZeroCFANoReflection.java

Manu Sridharan

unread,

Jun 27, 2019, 9:40:22 AM6/27/19

to WALA discussion and Q&A

Hi Akshay, these are synthetic models generated by WALA, to handle code not explicit in the bytecode. The first is for System.arraycopy, a native method, and the second is for modeling lambdas. Does that make sense?

Thanks,

Manu

_______________________________________________
Wala-wala mailing list
Wala...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/wala-wala

Akshay Utture

unread,

Jun 28, 2019, 2:28:36 AM6/28/19

to WALA discussion and Q&A

Dear Manu,
Thank you very much for that answer. Yes it does make sense.

Regards,
Akshay Utture

From: Manu Sridharan <ma...@sridharan.net>
Sent: Thursday, June 27, 2019 7:09:27 PM
To: WALA discussion and Q&A
Subject: Re: [Wala-wala] Query Regarding Wala library methods ending up in the Callgraph

Reply all

Reply to author

Forward