Skip to content

Commit 905ddd7

Browse files
committed
Fix field cutting for confused deputy intent fp case
In this test case, we cut at applying of the arrayCopy summary the intent field away and ended up with an erroneous path.
1 parent e9f0bb9 commit 905ddd7

1 file changed

Lines changed: 1 addition & 7 deletions

File tree

soot-infoflow-summaries/src/soot/jimple/infoflow/methodSummary/taintWrappers/SummaryTaintWrapper.java

Lines changed: 1 addition & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1425,13 +1425,7 @@ protected AccessPathFragment cutSubFields(MethodFlow flow, AccessPathFragment ac
14251425
*/
14261426
protected boolean isCutSubFields(MethodFlow flow) {
14271427
Boolean cut = flow.getCutSubFields();
1428-
Boolean typeChecking = flow.getTypeChecking();
1429-
if (cut == null) {
1430-
if (typeChecking != null)
1431-
return !typeChecking.booleanValue();
1432-
return false;
1433-
}
1434-
return cut.booleanValue();
1428+
return cut != null && cut.booleanValue();
14351429
}
14361430

14371431
/**

0 commit comments

Comments
 (0)