search

secure-software-engineering / FlowDroid

FlowDroid Static Data Flow Tracker
GNU Lesser General Public License v2.1
1.02k stars 293 forks source link

fixed IndexOutOfBounds exception for virtual edges #594

Closed dschm1dt closed 1 year ago

dschm1dt commented 1 year ago

Related to #593 Fixes an out-of-bound issue if the number of parameters for callee and callSite differs due to virtual edges added by soot. For example:

    <edge type="GENERIC_FAKE">
        <source declaringclass="okhttp3.Call" invoketype="instance" subsignature="void enqueue(okhttp3.Callback)"/>
        <targets>
          <direct declaringclass="okhttp3.Callback" index="0" subsignature="void onFailure(okhttp3.Call,java.io.IOException)" target-position="argument"/>
          <direct declaringclass="okhttp3.Callback" index="0" subsignature="void onResponse(okhttp3.Call,okhttp3.Response)" target-position="argument"/>
        </targets>
    </edge>