remove type cast, and fix expected test results

This commit is contained in:
Erik Krogh Kristensen
2019-11-05 10:14:05 +01:00
parent 850278c62f
commit 92dc759cf9
2 changed files with 48 additions and 1 deletions

View File

@@ -669,7 +669,7 @@ module TaintTracking {
override predicate step(DataFlow::Node pred, DataFlow::Node succ) {
succ = this and
this.(DataFlow::CallNode).getAnArgument() = pred
this.getAnArgument() = pred
}
}