no, but you can prove the absence of some bugs at compile time, so you don't have to figure out at run time what to do when they occur

exactly how far that can go is a matter of debate (it clearly cannot cover all possible bugs, because people have legitimate disagreements about whether a given operation is a bug or correct) but it can certainly cover the bugs cheri can detect