Skip to content

Commit c879ee1

Browse files
committed
Fix mistake on arraycopy in backward nc handler
1 parent 5a1857f commit c879ee1

File tree

1 file changed

+0
-9
lines changed

1 file changed

+0
-9
lines changed

soot-infoflow/src/soot/jimple/infoflow/nativeCallHandler/BackwardNativeCallHandler.java

Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -40,15 +40,6 @@ public Set<Abstraction> getTaintedValues(Stmt call, Abstraction source, Value[]
4040
return Collections.singleton(abs);
4141
}
4242
}
43-
if (params[0].equals(taintedValue)) {
44-
if (manager.getTypeUtils().checkCast(source.getAccessPath(), params[2].getType())) {
45-
AccessPath ap = manager.getAccessPathFactory().copyWithNewValue(source.getAccessPath(),
46-
params[2], source.getAccessPath().getBaseType(), false);
47-
Abstraction abs = source.deriveNewAbstraction(ap, call);
48-
abs.setCorrespondingCallSite(call);
49-
return Collections.singleton(abs);
50-
}
51-
}
5243
break;
5344
case SIG_COMPARE_AND_SWAP_OBJECT:
5445
if (params[0].equals(taintedValue)) {

0 commit comments

Comments
 (0)