Files
codeql/ruby/ql/test/library-tests/dataflow/barrier-guards/barrier-guards.ql
2021-10-15 11:47:28 +02:00

8 lines
262 B
Plaintext

import codeql.ruby.dataflow.internal.DataFlowPublic
import codeql.ruby.dataflow.BarrierGuards
import codeql.ruby.controlflow.CfgNodes
from BarrierGuard g, boolean branch, ExprCfgNode expr
where g.checks(expr, branch)
select g, g.getAGuardedNode(), expr, branch