Skip to content

Commit 5a17608

Browse files
committed
WIP stubbing for DataFlowStack
1 parent fa1013a commit 5a17608

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed

rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,16 @@ private import codeql.rust.dataflow.Ssa
1414
private import codeql.rust.dataflow.FlowSummary
1515
private import FlowSummaryImpl as FlowSummaryImpl
1616

17+
18+
/** @JB1 Remove, stubbed for #153 */
19+
/** A data-flow node that represents a call argument. */
20+
abstract class ArgumentNode extends Node {
21+
22+
/** Gets the call in which this node is an argument. */
23+
final DataFlowCall getCall() { none() }
24+
}
25+
/** @JB1 end stub for #153 */
26+
1727
/**
1828
* A return kind. A return kind describes how a value can be returned from a
1929
* callable.
@@ -86,6 +96,12 @@ final class DataFlowCall extends TDataFlowCall {
8696
}
8797

8898
Location getLocation() { result = this.asCallBaseExprCfgNode().getLocation() }
99+
100+
//** TODO JB1: Move to subclass, monkey patching for #153 */
101+
DataFlowCallable getARuntimeTarget(){ none() }
102+
ArgumentNode getAnArgumentNode(){ none() }
103+
int totalorder(){ none() }
104+
//** TODO JB1: end stubs for #153 */
89105
}
90106

91107
/**

0 commit comments

Comments
 (0)