hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 03:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Implement parameter nodes

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2020-06-17 16:59:19 +02:00
parent 8e51b2fed8
commit 25d624d64b
1 changed files with 14 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll
View File

@@ -80,10 +80,18 @@ class DataFlowCall extends CallNode {
}
/** A data flow node that represents a call argument. */
abstract class ArgumentNode extends Node {
class ArgumentNode extends Node {
ArgumentNode() {
exists( DataFlowCall call, int pos |
this.asCfgNode() = call.getArg(pos)
)
}
/** Holds if this argument occurs at the given position in the given call. */
cached
abstract predicate argumentOf(DataFlowCall call, int pos);
predicate argumentOf(DataFlowCall call, int pos) {
this.asCfgNode() = call.getArg(pos)
}
/** Gets the call in which this node is an argument. */
final DataFlowCall getCall() { this.argumentOf(result, _) }
@@ -111,9 +119,11 @@ class ReturnKind extends TReturnKind {
}
/** A data flow node that represents a value returned by a callable. */
abstract class ReturnNode extends Node {
class ReturnNode extends Node {
// ReturnNode() { this.asCfgNode() instanceof TODO }
/** Gets the kind of this return node. */
abstract ReturnKind getKind();
ReturnKind getKind() { result = TNormalReturnKind() }
}
/** A data flow node that represents the output of a call. */