diff --git a/java/ql/lib/semmle/code/java/security/InsecureCookieQuery.qll b/java/ql/lib/semmle/code/java/security/InsecureCookieQuery.qll index e8c3052acdf..eda07658866 100644 --- a/java/ql/lib/semmle/code/java/security/InsecureCookieQuery.qll +++ b/java/ql/lib/semmle/code/java/security/InsecureCookieQuery.qll @@ -35,6 +35,10 @@ module SecureCookieConfig implements DataFlow::ConfigSig { sink.asExpr() = any(MethodCall add | add.getMethod() instanceof ResponseAddCookieMethod).getArgument(0) } + + predicate observeDiffInformedIncrementalMode() { + none() // only used negatively in InsecureCookie.ql + } } /** Data flow to reason about the failure to use secure cookies. */