For example, the code is checked to ensure that no memory is read that has not previously been written.

• 例如,通过检查代码来确保不读取以前未曾写入的内存。