Checking The Correctness Of Analysis Results