We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9f42ca8 commit 4e6e595Copy full SHA for 4e6e595
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowUtil.qll
@@ -313,6 +313,12 @@ class ContentSet instanceof Content {
313
*/
314
signature predicate guardChecksSig(Guard g, Expr e, boolean branch);
315
316
+/**
317
+ * Provides a set of barrier nodes for a guard that validates an expression.
318
+ *
319
+ * This is expected to be used in `isBarrier`/`isSanitizer` definitions
320
+ * in data flow and taint tracking.
321
+ */
322
module BarrierGuard<guardChecksSig/3 guardChecks> {
323
/** Gets a node that is safely guarded by the given guard check. */
324
Node getABarrierNode() {
0 commit comments