<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<pre style="caret-color:rgb(0, 0, 0);background-color:rgb(255, 255, 255)">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</pre>
<br>
</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> ABHISHEK VIJAY UPPAR<br>
<b>Sent:</b> Monday, December 21, 2020 10:42 AM<br>
<b>To:</b> soot-list@cs.mcgill.ca <soot-list@cs.mcgill.ca><br>
<b>Subject:</b> Adding support for unmodelled functions</font>
<div> </div>
</div>
<style type="text/css" style="display:none">
<!--
p
{margin-top:0;
margin-bottom:0}
-->
</style>
<div dir="ltr">
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
Hello!</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
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.</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
thank you</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
Abhishek</div>
</div>
</body>
</html>