File tree Expand file tree Collapse file tree 3 files changed +8
-0
lines changed
Expand file tree Collapse file tree 3 files changed +8
-0
lines changed Original file line number Diff line number Diff line change @@ -290,6 +290,7 @@ module Path {
290290 }
291291 }
292292
293+ /** A data-flow node that checks that a path is safe to access. */
293294 class SafeAccessCheck extends DataFlow:: ExprNode {
294295 SafeAccessCheck ( ) { this = DataFlow:: BarrierGuard< safeAccessCheck / 3 > :: getABarrierNode ( ) }
295296 }
Original file line number Diff line number Diff line change 1+ /**
2+ * Provides classes modeling security-relevant aspects of the standard libraries.
3+ */
4+
15private import rust
26private import codeql.rust.Concepts
37private import codeql.rust.controlflow.ControlFlowGraph as Cfg
Original file line number Diff line number Diff line change @@ -30,6 +30,9 @@ module TaintedPath {
3030 */
3131 abstract class Barrier extends DataFlow:: Node { }
3232
33+ /**
34+ * A sanitizer guard for path-traversal vulnerabilities.
35+ */
3336 class SanitizerGuard extends DataFlow:: Node {
3437 SanitizerGuard ( ) { this = DataFlow:: BarrierGuard< sanitizerGuard / 3 > :: getABarrierNode ( ) }
3538 }
You can’t perform that action at this time.
0 commit comments