[Soot-list] Adding support for unmodelled functions

ABHISHEK VIJAY UPPAR abhisheku at iisc.ac.in
Mon Dec 21 00:12:34 EST 2020


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/20201221/efc7e423/attachment-0001.html>


More information about the Soot-list mailing list