@@ -366,7 +366,7 @@ module MakeModelGenerator<
366
366
}
367
367
368
368
/**
369
- * Provides classes and predicates related to capturing summary models
369
+ * Provides classes and predicates related to capturing models
370
370
* based on heuristic data flow.
371
371
*/
372
372
module Heuristic {
@@ -784,7 +784,7 @@ module MakeModelGenerator<
784
784
* If an API produces more content flow on a parameter, it is likely that
785
785
* 1. Types are not sufficiently constrained on the parameter leading to a combinatorial
786
786
* 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
788
788
* detection instead, as reads and stores would use a significant
789
789
* part of an objects internal state.
790
790
*/
@@ -1039,7 +1039,7 @@ module MakeModelGenerator<
1039
1039
* The following heuristic is applied:
1040
1040
* 1. If content based flow yields at lease one summary for an API, then we use that.
1041
1041
* 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.
1043
1043
*/
1044
1044
string captureFlow ( DataFlowSummaryTargetApi api , boolean lift ) {
1045
1045
result = ContentSensitive:: captureFlow ( api , lift )
0 commit comments