We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9d2dc7a commit f834768Copy full SHA for f834768
shared/dataflow/codeql/dataflow/DataFlow.qll
@@ -153,7 +153,10 @@ signature module InputSig {
153
}
154
155
/**
156
- * Holds if high precision should be used for the content `c`.
+ * Holds if access paths with `c` at their head always should be tracked at
157
+ * high precision. This disables adaptive access path precision for such
158
+ * access paths. This may be beneficial for content that indicates an
159
+ * element of an array or container.
160
*/
161
predicate forceHighPrecision(Content c);
162
0 commit comments