I’d be interested to know which company (if you’re free to say). IIUC, this is very different from the way Coverity (the biggest commercial player I’m aware of in this space) operates.
Interestingly, different industry seems to have its own leading tool even though they all check for the same type of risks or errors. Q-AC is extremely prevalent in the Automotive Industry, Polyspace's Code Prover is also quite popular as well.
I've to admit Q-AC doesn't ring a bell? A quick duck duck go doesn't bring up anything meaningful.
The company got taken over by Perforce. QAC was previously from Programming Research.