It could be useful if we have an offline tool to analyze the disk images.
In general it could perform the following tasks:
- Verify the cell entries: Duplication? Invalid addresses? Dead locks? Invalid types?
- Verify low-level cell content: Compare & diff two images.
- Verify high-level cell integrity: extract metadata from a TSL assembly, and check the content of each cell according to the type information.