Control Flow Analysis Can Find New Flaws Too