Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations