It doesn't sound like the OP is claiming that at all, Coverity and tools like it use a technique called Symbolic Execution [0]

[0]. https://en.wikipedia.org/wiki/Symbolic_execution