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 f17cc5a commit c47419eCopy full SHA for c47419e
javascript/ql/lib/semmle/javascript/dataflow/Configuration.qll
@@ -2006,7 +2006,6 @@ deprecated private class CallAgainstEqualityCheck extends DerivedBarrierGuardNod
2006
* Can be added to a `isBarrier` in a data-flow configuration to block flow through such checks.
2007
*/
2008
class VarAccessBarrier extends DataFlow::Node {
2009
- // TODO: This does not work in dataflow2 when the variable is captured, since the capture-flow library bypasses the refinement node.
2010
VarAccessBarrier() {
2011
exists(ConditionGuardNode guard, SsaRefinementNode refinement |
2012
this = DataFlow::ssaDefinitionNode(refinement) and
0 commit comments