JS: delete unused predicate

This commit is contained in:
Erik Krogh Kristensen
2022-03-07 13:25:12 +01:00
parent c48a5a1294
commit 59db0e7a0f

View File

@@ -1204,9 +1204,6 @@ module TaintTracking {
override predicate appliesTo(Configuration cfg) { any() }
}
/** Gets a variable that is defined exactly once. */
private Variable singleDef() { strictcount(result.getADefinition()) = 1 }
/**
* An equality test on `e.origin` or `e.source` where `e` is a `postMessage` event object,
* considered as a sanitizer for `e`.