hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Fix broken references

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2021-01-21 12:40:35 +01:00
parent 419449fb8a
commit e786be06ae
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/test/experimental/dataflow/TestUtil/MaximalFlowTest.qll
View File

@@ -35,7 +35,7 @@ class MaximalFlowsConfig extends DataFlow::Configuration {
override predicate isSink(DataFlow::Node node) {
exists(node.getLocation().getFile().getRelativePath()) and
not any(CallNode c).getArg(_) = node.asCfgNode() and
not node instanceof ArgumentNode and
not node instanceof DataFlow::ArgumentNode and
not node.asCfgNode().(NameNode).getId().matches("SINK%") and
not exists(DataFlow::Node succ | DataFlow::localFlowStep(node, succ))
}

2
python/ql/test/experimental/dataflow/callGraphConfig.qll
View File

@@ -11,7 +11,7 @@ class CallGraphConfig extends DataFlow::Configuration {
override predicate isSource(DataFlow::Node node) {
node instanceof DataFlowPrivate::ReturnNode
or
node instanceof DataFlowPrivate::ArgumentNode
node instanceof DataFlow::ArgumentNode
}
override predicate isSink(DataFlow::Node node) {

2
python/ql/test/experimental/dataflow/coverage/classesCallGraph.ql
View File

@@ -11,7 +11,7 @@ class CallGraphConfig extends DataFlow::Configuration {
node instanceof DataFlowPrivate::ReturnNode
or
// These sources should allow for the non-standard call syntax
node instanceof DataFlowPrivate::ArgumentNode
node instanceof DataFlow::ArgumentNode
}
override predicate isSink(DataFlow::Node node) {