hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-23 07:45:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: QLDoc SummaryCall, SourceCallable and SummarizedCallable.

Browse Source
This commit is contained in:
Geoffrey White
2024-04-04 16:27:37 +01:00
parent 49ef677b1d
commit bdc3d10cdb
1 changed files with 16 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1027,7 +1027,11 @@ class DataFlowCallable extends TDataFlowCallable {
}
/**
* TODO: QLDoc.
* A source callable, conceptually, a function in the source code for the
* purpose of computing data flow. In practice this excludes functions that
* are summarized using models-as-data (as we don't want to create
* unmodelled flows or duplicate paths), and includes variables (for reasons
* explained in `DataFlowCallable`).
*/
private class SourceCallable extends DataFlowCallable, TSourceCallable {
Cpp::Declaration decl;
@@ -1040,7 +1044,9 @@ private class SourceCallable extends DataFlowCallable, TSourceCallable {
}
/**
* TODO: QLDoc.
* A summarized callable, that is, a function synthesized from one or more
* models-as-data models as a place to contain the corresponding
* `FlowSummaryNode`s.
*/
private class SummarizedCallable extends DataFlowCallable, TSummarizedCallable {
FlowSummaryImpl::Public::SummarizedCallable sc;
@@ -1147,7 +1153,14 @@ private class NormalCall extends DataFlowCall, TNormalCall {
/**
* A synthesized call inside a callable with a flow summary.
*
* TODO: example.
* For example, consider the function:
* ```
* int myFunction(int (*funPtr)());
* ```
* with an accompanying models-as-data flow summary involving `funPtr` (for
* example from `Argument[0].ReturnValue` to `ReturnValue`). A `SummaryCall`
* will be synthesized representing a call to `funPtr` inside `myFunction`,
* so that flow can be connected as described in the model.
*/
class SummaryCall extends DataFlowCall, TSummaryCall {
private FlowSummaryImpl::Public::SummarizedCallable c;