Fig. 12From: Memory access integrity: detecting fine-grained memory access errors in binary codeDifferent cases of first writeBack to article page