[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.

thank you

Abhishek

[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...@cs.mcgill.ca <soot...@cs.mcgill.ca>
Subject: Adding support for unmodelled functions