[Soot-list] Adding support for unmodelled functions

[ABHISHEK VIJAY UPPAR]

Hello!

I see that some of the android functions are not modelled in Flowdroid. The return value is not modelled. If i wish to model these functions what are the files i should be looking into. For example, the Executor.newSingleThreadExecutor is not modelled.

thank you
Abhishek

________________________________
From: ABHISHEK VIJAY UPPAR
Sent: Monday, December 21, 2020 10:42 AM
To: soot-list at cs.mcgill.ca <soot-list at cs.mcgill.ca>
Subject: Adding support for unmodelled functions

Hello!

I see that some of the android functions are not modelled in Flowdroid. The return value is not modelled. If i wish to model these functions what are the files i should be looking into.

thank you
Abhishek
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20210201/46cc3670/attachment-0001.html>