| | 36 | * A read / write record consists of 1) an `entity` or an `allocation/string`; 2) an optional `subscript-indices` |
| | 37 | * Taking use of the result of the points-to analysis, all collected read / write records satisfy the following conditions: |
| | 38 | * if a record contains a meaningful `subscript-indices`, then the `entity` or `allocation/string` in this record must be an array (allocated object and string can be considered as arrays) |
| | 39 | * for the case of `a[x]` where `a` is a pointer, there are a number of records correspond to `a[x]` each of which contains an `entity` or `allocation/string` that is referred by `a` |
| | 40 | * for now, read / write sets of a function call is over-approximated: a function can read / write everything visible from its function body. |
