File tree Expand file tree Collapse file tree 10 files changed +15
-15
lines changed
cpp/ql/lib/semmle/code/cpp
csharp/ql/lib/semmle/code/csharp/dataflow/internal
java/ql/lib/semmle/code/java/dataflow/internal
python/ql/lib/semmle/python/dataflow/new/internal Expand file tree Collapse file tree 10 files changed +15
-15
lines changed Original file line number Diff line number Diff line change @@ -1239,8 +1239,8 @@ class TypedContent extends MkTypedContent {
1239
1239
1240
1240
/**
1241
1241
* Holds if access paths with this `TypedContent` at their head always should
1242
- * be tracked at high precision. This disables adaptive accesspath precision
1243
- * for such accesspaths .
1242
+ * be tracked at high precision. This disables adaptive access path precision
1243
+ * for such access paths .
1244
1244
*/
1245
1245
predicate forceHighPrecision ( ) { forceHighPrecision ( c ) }
1246
1246
}
Original file line number Diff line number Diff line change @@ -242,7 +242,7 @@ int accessPathLimit() { result = 5 }
242
242
243
243
/**
244
244
* Holds if access paths with `c` at their head always should be tracked at high
245
- * precision. This disables adaptive accesspath precision for such accesspaths .
245
+ * precision. This disables adaptive access path precision for such access paths .
246
246
*/
247
247
predicate forceHighPrecision ( Content c ) { none ( ) }
248
248
Original file line number Diff line number Diff line change @@ -1239,8 +1239,8 @@ class TypedContent extends MkTypedContent {
1239
1239
1240
1240
/**
1241
1241
* Holds if access paths with this `TypedContent` at their head always should
1242
- * be tracked at high precision. This disables adaptive accesspath precision
1243
- * for such accesspaths .
1242
+ * be tracked at high precision. This disables adaptive access path precision
1243
+ * for such access paths .
1244
1244
*/
1245
1245
predicate forceHighPrecision ( ) { forceHighPrecision ( c ) }
1246
1246
}
Original file line number Diff line number Diff line change @@ -468,7 +468,7 @@ int accessPathLimit() { result = 5 }
468
468
469
469
/**
470
470
* Holds if access paths with `c` at their head always should be tracked at high
471
- * precision. This disables adaptive accesspath precision for such accesspaths .
471
+ * precision. This disables adaptive access path precision for such access paths .
472
472
*/
473
473
predicate forceHighPrecision ( Content c ) { none ( ) }
474
474
Original file line number Diff line number Diff line change @@ -1239,8 +1239,8 @@ class TypedContent extends MkTypedContent {
1239
1239
1240
1240
/**
1241
1241
* Holds if access paths with this `TypedContent` at their head always should
1242
- * be tracked at high precision. This disables adaptive accesspath precision
1243
- * for such accesspaths .
1242
+ * be tracked at high precision. This disables adaptive access path precision
1243
+ * for such access paths .
1244
1244
*/
1245
1245
predicate forceHighPrecision ( ) { forceHighPrecision ( c ) }
1246
1246
}
Original file line number Diff line number Diff line change @@ -1920,7 +1920,7 @@ int accessPathLimit() { result = 5 }
1920
1920
1921
1921
/**
1922
1922
* Holds if access paths with `c` at their head always should be tracked at high
1923
- * precision. This disables adaptive accesspath precision for such accesspaths .
1923
+ * precision. This disables adaptive access path precision for such access paths .
1924
1924
*/
1925
1925
predicate forceHighPrecision ( Content c ) { c instanceof ElementContent }
1926
1926
Original file line number Diff line number Diff line change @@ -1239,8 +1239,8 @@ class TypedContent extends MkTypedContent {
1239
1239
1240
1240
/**
1241
1241
* Holds if access paths with this `TypedContent` at their head always should
1242
- * be tracked at high precision. This disables adaptive accesspath precision
1243
- * for such accesspaths .
1242
+ * be tracked at high precision. This disables adaptive access path precision
1243
+ * for such access paths .
1244
1244
*/
1245
1245
predicate forceHighPrecision ( ) { forceHighPrecision ( c ) }
1246
1246
}
Original file line number Diff line number Diff line change @@ -310,7 +310,7 @@ int accessPathLimit() { result = 5 }
310
310
311
311
/**
312
312
* Holds if access paths with `c` at their head always should be tracked at high
313
- * precision. This disables adaptive accesspath precision for such accesspaths .
313
+ * precision. This disables adaptive access path precision for such access paths .
314
314
*/
315
315
predicate forceHighPrecision ( Content c ) {
316
316
c instanceof ArrayContent or c instanceof CollectionContent
Original file line number Diff line number Diff line change @@ -1239,8 +1239,8 @@ class TypedContent extends MkTypedContent {
1239
1239
1240
1240
/**
1241
1241
* Holds if access paths with this `TypedContent` at their head always should
1242
- * be tracked at high precision. This disables adaptive accesspath precision
1243
- * for such accesspaths .
1242
+ * be tracked at high precision. This disables adaptive access path precision
1243
+ * for such access paths .
1244
1244
*/
1245
1245
predicate forceHighPrecision ( ) { forceHighPrecision ( c ) }
1246
1246
}
Original file line number Diff line number Diff line change @@ -1622,7 +1622,7 @@ int accessPathLimit() { result = 5 }
1622
1622
1623
1623
/**
1624
1624
* Holds if access paths with `c` at their head always should be tracked at high
1625
- * precision. This disables adaptive accesspath precision for such accesspaths .
1625
+ * precision. This disables adaptive access path precision for such access paths .
1626
1626
*/
1627
1627
predicate forceHighPrecision ( Content c ) { none ( ) }
1628
1628
You can’t perform that action at this time.
0 commit comments