JS: prepare DefensiveProgramming.qll for additions

This commit is contained in:
Esben Sparre Andreasen
2018-10-10 14:45:06 +02:00
parent c2fb14640e
commit a5eeba3c3a
2 changed files with 42 additions and 20 deletions

View File

@@ -87,7 +87,7 @@ predicate isConstantBooleanReturnValue(Expr e) {
predicate whitelist(Expr e) {
isConstant(e) or
isConstant(e.(LogNotExpr).getOperand()) or
e.flow() instanceof DefensiveInit or
e.flow() instanceof Internal::DefensiveInit or
isInitialParameterUse(e) or
isConstantBooleanReturnValue(e)
}