Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit f6135d5

Browse filesBrowse files
committed
Shared: Address review comments.
1 parent d187a7d commit f6135d5
Copy full SHA for f6135d5

File tree

Expand file treeCollapse file tree

1 file changed

+3
-3
lines changed
Filter options
Expand file treeCollapse file tree

1 file changed

+3
-3
lines changed

‎shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll

Copy file name to clipboardExpand all lines: shared/mad/codeql/mad/modelgenerator/internal/ModelGeneratorImpl.qll
+3-3Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -366,7 +366,7 @@ module MakeModelGenerator<
366366
}
367367

368368
/**
369-
* Provides classes and predicates related to capturing summary models
369+
* Provides classes and predicates related to capturing models
370370
* based on heuristic data flow.
371371
*/
372372
module Heuristic {
@@ -784,7 +784,7 @@ module MakeModelGenerator<
784784
* If an API produces more content flow on a parameter, it is likely that
785785
* 1. Types are not sufficiently constrained on the parameter leading to a combinatorial
786786
* explosion in dispatch and thus in the generated summaries.
787-
* 2. It is a reasonable approximation to use the non-content based flow
787+
* 2. It is a reasonable approximation to use the heuristic based flow
788788
* detection instead, as reads and stores would use a significant
789789
* part of an objects internal state.
790790
*/
@@ -1039,7 +1039,7 @@ module MakeModelGenerator<
10391039
* The following heuristic is applied:
10401040
* 1. If content based flow yields at lease one summary for an API, then we use that.
10411041
* 2. If content based flow does not yield any summary for an API, then we try and
1042-
* generate flow summaries using the non-content based summary generator.
1042+
* generate flow summaries using the heuristic based summary generator.
10431043
*/
10441044
string captureFlow(DataFlowSummaryTargetApi api, boolean lift) {
10451045
result = ContentSensitive::captureFlow(api, lift)

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.