[Soot-list] Call graph file

ABHISHEK VIJAY UPPAR

unread,

Dec 15, 2020, 3:24:11 PM12/15/20

to soot...@cs.mcgill.ca

Hello!

I see that flowdroid has a way to provide callback file for analysis. The class file SetupApplication looks for callback file. I need to understand its utility and if we can given it as input please let me know the format. Can we add the callbacks that are not reachable from dummy main?

Abhishek

IISc Bangalore

ABHISHEK VIJAY UPPAR

unread,

Dec 22, 2020, 8:05:58 AM12/22/20

to soot...@cs.mcgill.ca

Original Message:

Hello!

I see that flowdroid has a way to provide callback file for analysis. The class file SetupApplication looks for callback file. I need to understand its utility and if we can given it as input please let me know the format. Can we add the callbacks that are not reachable from dummy main?

Sorry the subject got autocorrected. I would like to know if it is possible. A quick reply would help me expedite my work.

thank you.

From: ABHISHEK VIJAY UPPAR
Sent: Sunday, December 13, 2020 12:14 PM
To: soot...@CS.McGill.CA <soot...@CS.McGill.CA>
Subject: Call graph file

ABHISHEK VIJAY UPPAR

unread,

Feb 1, 2021, 8:05:20 AM2/1/21

to soot...@cs.mcgill.ca

Hello!

I see that flowdroid has a way to provide callback file for analysis. The class file SetupApplication looks for callback file. I need to understand its utility and if we can given it as input please let me know the format. Can we add the callbacks that are not reachable from dummy main?

From: ABHISHEK VIJAY UPPAR <abhi...@iisc.ac.in>
Sent: Monday, December 21, 2020 10:40 AM
To: soot...@CS.McGill.CA <soot...@CS.McGill.CA>
Subject: Re: Call back file

Eric Bodden

unread,

Feb 1, 2021, 8:55:33 AM2/1/21

to ABHISHEK VIJAY UPPAR, soot...@cs.mcgill.ca

Hi Abishek,

I think this should be this file?
https://github.com/secure-software-engineering/FlowDroid/blob/3bffc39b59485e73c2083cefc34c6bbb8cf3b55b/soot-infoflow-android/AndroidCallbacks.txt

Cheers
Eric

> On 1. Feb 2021, at 10:21, ABHISHEK VIJAY UPPAR <abhi...@iisc.ac.in> wrote:
>
> Hello!
>
> I see that flowdroid has a way to provide callback file for analysis. The class file SetupApplication looks for callback file. I need to understand its utility and if we can given it as input please let me know the format. Can we add the callbacks that are not reachable from dummy main?

> From: ABHISHEK VIJAY UPPAR <abhi...@iisc.ac.in>
> Sent: Monday, December 21, 2020 10:40 AM
> To: soot...@CS.McGill.CA <soot...@CS.McGill.CA>
> Subject: Re: Call back file
>
> Original Message:
>
> Hello!
>
> I see that flowdroid has a way to provide callback file for analysis. The class file SetupApplication looks for callback file. I need to understand its utility and if we can given it as input please let me know the format. Can we add the callbacks that are not reachable from dummy main?
>
>
>
> Sorry the subject got autocorrected. I would like to know if it is possible. A quick reply would help me expedite my work.
>
> thank you.

> From: ABHISHEK VIJAY UPPAR
> Sent: Sunday, December 13, 2020 12:14 PM
> To: soot...@CS.McGill.CA <soot...@CS.McGill.CA>
> Subject: Call graph file
>
> Hello!
>
> I see that flowdroid has a way to provide callback file for analysis. The class file SetupApplication looks for callback file. I need to understand its utility and if we can given it as input please let me know the format. Can we add the callbacks that are not reachable from dummy main?
>
> Abhishek
> IISc Bangalore

> _______________________________________________
> Soot-list mailing list
> Soot...@CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list

_______________________________________________
Soot-list mailing list
Soot...@CS.McGill.CA
https://mailman.CS.McGill.CA/mailman/listinfo/soot-list

ABHISHEK VIJAY UPPAR

unread,

Feb 4, 2021, 11:15:53 AM2/4/21

to Eric Bodden, soot...@cs.mcgill.ca

Code listing in SetupApplication.java in funciton calculateCallbacks

String callbackFile = callbackConfig.getCallbacksFile();

if (callbackFile != null && !callbackFile.isEmpty()) {

File cbFile = new File(callbackFile);

if (cbFile.exists()) {

CollectedCallbacks callbacks = CollectedCallbacksSerializer.deserialize(callbackConfig);

if (callbacks != null) {

// Get our callback data from the file

entrypoints = callbacks.getEntryPoints();

fragmentClasses = callbacks.getFragmentClasses();

callbackMethods = callbacks.getCallbackMethods();

// Create the callgraph

createMainMethod(entryPoint);

constructCallgraphInternal();

createSourceSinkProvider(entryPoint, lfp);

return;

}

the code also shows that it can fragments from the callback file. I wish to know the format of the file to be given as input ans also what is the utility of the file.

From: Eric Bodden <eric....@uni-paderborn.de>
Sent: Monday, February 1, 2021 7:25 PM
To: ABHISHEK VIJAY UPPAR <abhi...@iisc.ac.in>
Cc: soot...@CS.McGill.CA <soot...@CS.McGill.CA>
Subject: Re: [Soot-list] Call back file

External Email

Reply all

Reply to author

Forward