Skip to content

Commit 85fd7af

Browse files
Fixing dupX method
1 parent df12ea3 commit 85fd7af

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src/main/java/it/unipr/analysis/taint/TaintAbstractStack.java

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -941,14 +941,14 @@ private TaintAbstractStack dupX(int x, TaintAbstractStack stack) {
941941

942942
TaintElement tmp = (TaintElement) obj[first - x];
943943

944-
clone.add(tmp);
945-
clone.remove(0);
946-
947944
ArrayList<TaintElement> result = new ArrayList<>();
948945

949946
for (int i = 0; i < clone.size(); i++)
950947
result.add((TaintElement) obj[i]);
951948

949+
result.add(tmp);
950+
result.remove(0);
951+
952952
return new TaintAbstractStack(result);
953953
}
954954

0 commit comments

Comments
 (0)