3 ms·Any chance of getting something like Frama-C officially blessed?by mcguire 7y agoAny chance of getting something like Frama-C officially blessed?