And very few people can know 100% 100% times. We build software on top of abstractions. Abstraction leaks, abstraction breaks and abstraction isolates you from "know what you are doing".

If you build software in C, you will build abstractions in C, and debugging / analysis tools help to understand these abstractions.