Patch verification via multiversion interprocedural control flow graphs
Has the bug really been fixed?