hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 10:46:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Python: Make PathCheck a BarrierGuard

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2020-10-22 11:32:18 +02:00
parent f8dba85e0f
commit 6e361c7793
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
python/ql/src/experimental/semmle/python/Concepts.qll
View File

@@ -94,10 +94,12 @@ module PathNormalization {
* A data-flow node that checks validates a path, for instance checking that it exists
* or that it is safe to access.
*/
class PathCheck extends DataFlow::Node {
class PathCheck extends DataFlow::BarrierGuard {
PathCheck::Range range;
PathCheck() { this = range }
override predicate checks(ControlFlowNode node, boolean branch) { range.checks(node, branch) }
}
/** Provides a class for modeling new path normalization APIs. */
@@ -106,7 +108,7 @@ module PathCheck {
* A data-flow node that checks validates a path, for instance checking that it exists
* or that it is safe to access.
*/
abstract class Range extends DataFlow::Node { }
abstract class Range extends DataFlow::BarrierGuard { }
}
/**