There was an error while loading. Please reload this page.
1 parent 0c3f4e5 commit 81c58d5Copy full SHA for 81c58d5
1 file changed
cpp/ql/src/semmle/code/cpp/NestedFields.qll
@@ -1,9 +1,8 @@
1
import cpp
2
3
/**
4
- * Gets a `Field` that is nested within the given `Struct`.
5
- *
6
- * This identifies `Field`s which are located in the same memory
+ * Gets a `Field` that is within the given `Struct`, either directly or nested
+ * inside one or more levels of member structs.
7
*/
8
private Field getANestedField(Struct s) {
9
result = s.getAField()
@@ -15,7 +14,7 @@ private Field getANestedField(Struct s) {
15
14
}
16
17
18
- * Unwraps a series of field accesses to determine the inner-most qualifier.
+ * Unwraps a series of field accesses to determine the outer-most qualifier.
19
20
private Expr getUltimateQualifier(FieldAccess fa) {
21
exists(Expr qualifier | qualifier = fa.getQualifier() |
0 commit comments