Yes, these reports are nice. I've seen this kind of thing before and I've worked with frama-c and other tools personally. I think that there's some interest in

Yes, these reports are nice. I've seen this kind of thing before and I've worked with frama-c and other tools personally. I think that there'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'll see if we can collectively get out in front of it though...