<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 14 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:Helvetica;
panose-1:2 11 6 4 2 2 2 2 2 4;}
@font-face
{font-family:Helvetica;
panose-1:2 11 6 4 2 2 2 2 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.E-MailFormatvorlage17
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=DE link=blue vlink=purple><div class=WordSection1><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Hi,<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>SecuriBench micro is a micro-benchmarking suite, so the test cases are rather small. This means that one is able to analyze them by hand to check how many data leaks there should be. Additionally, since the suite was designed with static analysis tools in mind, there is a documentation. Just search for SecuriBench Micro in a web search engine of your liking.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Best regards,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'> Steven<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><div><div style='border:none;border-top:solid #B5C4DF 1.0pt;padding:3.0pt 0cm 0cm 0cm'><p class=MsoNormal><b><span style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'>Von:</span></b><span style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'> H S [mailto:aras_h1988@yahoo.com] <br><b>Gesendet:</b> Mittwoch, 18. Februar 2015 15:32<br><b>An:</b> Steven Arzt; Soot List; Soot-list<br><b>Betreff:</b> WG: Regarding your paper on FLOWDROID<o:p></o:p></span></p></div></div><p class=MsoNormal><o:p> </o:p></p><div><div id="yui_3_16_0_1_1424269157754_12138"><p class=MsoNormal style='margin-bottom:12.0pt;background:white'><span style='font-family:"Courier New";color:black'><o:p> </o:p></span></p></div><div id="yui_3_16_0_1_1424269157754_12143"><div id="yui_3_16_0_1_1424269157754_12142"><div id="yui_3_16_0_1_1424269157754_12141"><div id="yui_3_16_0_1_1424269157754_12140"><p class=MsoNormal style='background:white'><span style='font-family:"Helvetica","sans-serif";color:black'><o:p> </o:p></span></p></div><p class=MsoNormal style='margin-bottom:12.0pt;background:white'><span style='font-family:"Helvetica","sans-serif";color:black'><o:p> </o:p></span></p><div id="yui_3_16_0_1_1424269157754_12146"><div id=yiv2679027336><div id="yui_3_16_0_1_1424269157754_12145"><div id="yui_3_16_0_1_1424269157754_12144"><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><span style='font-family:"Courier New";color:black'>Hi Steven, <o:p></o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><span style='font-family:"Courier New";color:black'>I wanted to know how you determine the number of actual leaks in an Android application, where you have concluded that your app was able to detect for example 58 of 60 actual leaks. <o:p></o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><span style='font-family:"Courier New";color:black'><o:p> </o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><span style='font-family:"Courier New";color:black'><o:p> </o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><i><span style='font-family:"Courier New";color:black'>"Table 2 shows our test results grouped by test categories. The</span></i><span style='font-family:"Courier New";color:black'><o:p></o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><i><span style='font-family:"Courier New";color:black'>TP column shows the true positives, i.e., the number of actual leaks</span></i><span style='font-family:"Courier New";color:black'><o:p></o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><i><span style='font-family:"Courier New";color:black'>that FLOWDROID found. For the example of Basic, for instance,</span></i><span style='font-family:"Courier New";color:black'><o:p></o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><i><span style='font-family:"Courier New";color:black'>FLOWDROID found 58 out of 60."</span></i><span style='font-family:"Courier New";color:black'><o:p></o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><span style='font-family:"Courier New";color:black'><o:p> </o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><span style='font-family:"Courier New";color:black'><o:p> </o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><span style='font-family:"Courier New";color:black'><o:p> </o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><span style='font-family:"Courier New";color:black'>I would appreciate your answer on it.<o:p></o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><span style='font-family:"Courier New";color:black'><o:p> </o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><span style='font-family:"Courier New";color:black'>Thanks and kind regards, <o:p></o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><span style='font-family:"Courier New";color:black'>Sarah <o:p></o:p></span></p></div><div id="yiv2679027336yui_3_16_0_1_1424182228279_5555"><p class=MsoNormal style='background:white'><span style='font-family:"Courier New";color:black'><o:p> </o:p></span></p></div></div></div></div><p class=MsoNormal style='margin-bottom:12.0pt;background:white'><span style='font-family:"Helvetica","sans-serif";color:black'><o:p> </o:p></span></p></div></div></div></div></div></div></body></html>