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 {
290
290
}
291
291
}
292
292
293
+ /** A data-flow node that checks that a path is safe to access. */
293
294
class SafeAccessCheck extends DataFlow:: ExprNode {
294
295
SafeAccessCheck ( ) { this = DataFlow:: BarrierGuard< safeAccessCheck / 3 > :: getABarrierNode ( ) }
295
296
}
Original file line number Diff line number Diff line change
1
+ /**
2
+ * Provides classes modeling security-relevant aspects of the standard libraries.
3
+ */
4
+
1
5
private import rust
2
6
private import codeql.rust.Concepts
3
7
private import codeql.rust.controlflow.ControlFlowGraph as Cfg
Original file line number Diff line number Diff line change @@ -30,6 +30,9 @@ module TaintedPath {
30
30
*/
31
31
abstract class Barrier extends DataFlow:: Node { }
32
32
33
+ /**
34
+ * A sanitizer guard for path-traversal vulnerabilities.
35
+ */
33
36
class SanitizerGuard extends DataFlow:: Node {
34
37
SanitizerGuard ( ) { this = DataFlow:: BarrierGuard< sanitizerGuard / 3 > :: getABarrierNode ( ) }
35
38
}
You can’t perform that action at this time.
0 commit comments