Yes, these reports are nice. I&#x27;ve seen this kind of thing before and I&#x27;ve worked with frama-c and other tools personally.<p>I think that there&#x27;s some interest in from-scratch methods growing in government circles now that there are some empirical results, and that the consequences of rampant insecurity are starting to be broadly observed. We&#x27;ll see if we can collectively get out in front of it though...