File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
rust/ql/lib/codeql/rust/security Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -8,7 +8,7 @@ private import codeql.rust.dataflow.DataFlow
88private import codeql.rust.dataflow.FlowSource
99private import codeql.rust.dataflow.FlowSink
1010private import codeql.rust.Concepts
11- private import codeql.rust.dataflow.internal.DataFlowImpl as DataflowImpl
11+ private import codeql.rust.dataflow.internal.DataFlowImpl as DataFlowImpl
1212private import codeql.rust.dataflow.internal.Node
1313private import codeql.rust.controlflow.BasicBlocks
1414
@@ -60,7 +60,7 @@ module InsecureCookie {
6060 DataFlow:: Node argNode
6161 |
6262 // decode a `cookie-`... optional barrier
63- DataflowImpl :: optionalBarrier ( summaryNode , barrierName ) and
63+ DataFlowImpl :: optionalBarrier ( summaryNode , barrierName ) and
6464 attrib = barrierName .regexpCapture ( "cookie-(secure|partitioned)-arg([0-9]+)" , 1 ) and
6565 arg = barrierName .regexpCapture ( "cookie-(secure|partitioned)-arg([0-9]+)" , 2 ) .toInt ( ) and
6666 // find a call and arg referenced by this optional barrier
You can’t perform that action at this time.
0 commit comments