Comment by pjmlp

With what, Frama-C? Good luck getting it adopted outside domains that enforce its use for code certification.