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

C++: Complete the SummaryCall class.

Browse Source
This commit is contained in:
Geoffrey White
2024-03-12 14:23:00 +00:00
parent a27949cffa
commit 900c8b71d8
1 changed files with 5 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
View File

@@ -1164,17 +1164,15 @@ class SummaryCall extends DataFlowCall, TSummaryCall {
/**
* Gets the data flow node that this call targets.
* OR
* Gets the data flow node that receives the result of the call.
* TODO: which is right?
*/
FlowSummaryImpl::Private::SummaryNode getReceiver() { result = receiver }
// override CallTargetOperand getCallTargetOperand() TODO
override DataFlowCallable getStaticCallTarget() { result = TSummarizedCallable(c) } // TODO: is this right?
// no implementation for `getCallTargetOperand()`, `getStaticCallTarget()`
// or `getArgumentOperand(int index)`. This is because the flow summary
// library is responsible for finding the call target, and there are no
// IR nodes available for the call target operand or argument operands.
// override ArgumentOperand getArgumentOperand(int index) TODO
override DataFlowCallable getEnclosingCallable() { result = TSummarizedCallable(c) } // TODO: is this right?
override DataFlowCallable getEnclosingCallable() { result = TSummarizedCallable(c) }
override string toString() { result = "[summary] call to " + receiver + " in " + c }