Simplify more code

This commit is contained in:
Owen Mansel-Chan
2020-05-28 17:40:23 +01:00
parent 65608a2912
commit 36fa2c29fa

View File

@@ -684,8 +684,7 @@ module URL {
}
override predicate hasTaintFlow(DataFlow::FunctionInput inp, DataFlow::FunctionOutput outp) {
inp.isReceiver() and
if getName() = "Password" then outp.isResult(0) else outp.isResult()
inp.isReceiver() and outp.isResult(0)
}
}