Fig. 11From: Memory access integrity: detecting fine-grained memory access errors in binary codeAn data structure showing first writeBack to article page