Skip to content

Commit

Permalink
Fixing dupX method
Browse files Browse the repository at this point in the history
  • Loading branch information
VincenzoArceri committed Dec 16, 2024
1 parent df12ea3 commit 85fd7af
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/main/java/it/unipr/analysis/taint/TaintAbstractStack.java
Original file line number Diff line number Diff line change
Expand Up @@ -941,14 +941,14 @@ private TaintAbstractStack dupX(int x, TaintAbstractStack stack) {

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

clone.add(tmp);
clone.remove(0);

ArrayList<TaintElement> result = new ArrayList<>();

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

result.add(tmp);
result.remove(0);

return new TaintAbstractStack(result);
}

Expand Down

0 comments on commit 85fd7af

Please sign in to comment.