This seems like an unlikely claim, do you have any numbers to back it up? If having memory errors being compile time errors instead of runtime error leads to m

This seems like an unlikely claim, do you have any numbers to back it up? If having memory errors being compile time errors instead of runtime error leads to more logical errors due to complexity. Wouldn't that imply that using other types of complicated checkers also leads to more logical errors, for example static analysis software or valgrind?