Non è ben chiaro come tu abbia disposto i test, ad ogni modo non conosco il tool (MemProof) a cui fai riferimento, non l'ho mai utilizzato, quindi non saprei darti opinioni sui risultati che fornisce.