Comment by pjmlp

For sure, however if you bothered to read it, MISRA verifiers and Deputy are given as examples from prior art.