Skip to content

Commit 7e42ccf

Browse files
committed
Don't cache defaultTaintSanitizerGuard for java
1 parent 8e82787 commit 7e42ccf

File tree

1 file changed

+6
-7
lines changed

1 file changed

+6
-7
lines changed

java/ql/lib/semmle/code/java/dataflow/internal/TaintTrackingUtil.qll

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -113,15 +113,14 @@ private module Cached {
113113
node.getEnclosingCallable().getDeclaringType() instanceof NonSecurityTestClass or
114114
node.asExpr() instanceof ValidatedVariableAccess
115115
}
116-
117-
/**
118-
* Holds if `guard` should be a sanitizer guard in all global taint flow configurations
119-
* but not in local taint.
120-
*/
121-
cached
122-
predicate defaultTaintSanitizerGuard(DataFlow::BarrierGuard guard) { none() }
123116
}
124117

118+
/**
119+
* Holds if `guard` should be a sanitizer guard in all global taint flow configurations
120+
* but not in local taint.
121+
*/
122+
predicate defaultTaintSanitizerGuard(DataFlow::BarrierGuard guard) { none() }
123+
125124
import Cached
126125

127126
private RefType getElementType(RefType container) {

0 commit comments

Comments
 (0)