Runtime checks can only validate code paths taken, though. Also, C sanitizers are quite good as well nowadays.