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 5ba4e30 commit 273eb19Copy full SHA for 273eb19
rust/ql/lib/codeql/rust/dataflow/internal/TaintTrackingImpl.qll
@@ -12,9 +12,9 @@ private import codeql.rust.internal.Type as Type
12
private import codeql.rust.frameworks.stdlib.Builtins as Builtins
13
14
/**
15
- * Holds if the field `field` should, by default, be excluded from taint steps.
16
- * The syntax used to denote the field is the same as for `Field` in
17
- * models-as-data.
+ * Holds if the field `field` should, by default, be excluded from taint steps
+ * from the containing type to reads of the field. The models-as-data syntax
+ * used to denote the field is the same as for `Field[]` access path elements.
18
*/
19
extensible predicate excludeFieldTaintStep(string field);
20
0 commit comments