| Title | LO and AWL pools fail to detect invalid exact references |
| Status | closed |
| Priority | optional |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | The LO and AWL mark-and-sweep pool classes accept exact fixes for references that are invalid in various ways (unaligned, out of bounds, not pointing at any object). But an exact fix for an invalid reference indicates an error in the client program, and the earlier we detect these errors the better. |
| Analysis | The unhandled cases are: 1. Address out of bounds after in-band header subtraction. 2. Address unaligned. 3. No object at the references address. These cases all correctly result in an assertion failure (in checking varieties) in AMS. |
| How found | inspection |
| Evidence | None |
| Created by | Gareth Rees |
| Created on | 2018-06-18 09:11:44 |
| Last modified by | Gareth Rees |
| Last modified on | 2018-06-28 16:26:15 |
| History | 2018-06-18 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 194284 | closed | 2018-06-28 16:15:53 | Gareth Rees | Merge branch/2018-06-18/job004070. |