<p dir="ltr">Hi,</p>
<p dir="ltr">That should work as long as you have a StubDroid summary for at least one class that implements the interface. The taint wrapper should then use a union of all summaries of implementations. If that doesn't work, it's a bug and we need to fix it.</p>
<p dir="ltr">Best regards,<br>
Steven</p>
<div class="gmail_extra"><br><div class="gmail_quote">On Sep 6, 2016 1:20 PM, Kazuki Hatayama &lt;komakomaillusion@gmail.com&gt; wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div>
    <p>
      </p></div>
    
    Hi all,<br />
    <br />
    I&#39;m faced with the similar problem
    (<a href="https://github.com/secure-software-engineering/soot-infoflow-android/issues/125">https://github.com/secure-software-engineering/soot-infoflow-android/issues/125</a>).
    <br />
    <br />
    here is the snapshot of my app.<br />
    <font size="-1">        $r5 &#61; virtualinvoke $r3.&lt;java.net.URL:
      java.net.URLConnection openConnection()&gt;();<br />
              $r6 &#61; virtualinvoke $r5.&lt;java.net.URLConnection:
      java.io.InputStream getInputStream()&gt;();<br />
              <b>interfaceinvoke $r4.&lt;org.xmlpull.v1.XmlPullParser:
        void setInput(java.io.InputStream,java.lang.String)&gt;($r6,
        &#34;UTF-8&#34;);</b><br />
      &#xff3b;...]<br />
              $r7 &#61; interfaceinvoke
      $r4.&lt;org.xmlpull.v1.XmlPullParser: java.lang.String
      nextText()&gt;();<br />
    </font><br />
    In 3rd line, I want to propagate taints $r6 to $4. The above web
    page says Stubdroid can handle this situation.<br />
    <br />
    But Stubdroid seems to be applicable to only classes, not
    interfaces.<br />
    <br />
    Can really Stubdroid handle this situation?<br />
    <br />
    Best regards,<br />
    Kazuki.<br />
  

</blockquote></div><br></div>