Comment by staticassertion

> Logic errors always stems from lack of understanding and inattention

Really? Never from limitations of the ability to express your mental model in a way that's formally verifiable? What a strong claim to make.

> There are static tools available for C as well.

For checking the semantics of the code itself? And why discount the fact that a tool being native means it's easier to adopt?