MemProof protokolliert nicht nur die Anforderung und die Freigabe von Ressourcen sondern auch
API-Aufrufe, die einen Fehler zurückgeben. So auch in diesem Fall: ein nicht existierender Schlüssel soll geöffnet werden, es resultiert ein Fehler, und der wird angezeigt: ERROR. Dass MemProof gleichzeitig etwas von Freigabe sagt, heisst in diesem Fall nicht, dass etwas nicht freigegeben worden wäre. Ist etwas verwirrend...
Gruß, teebee