2 ms·
Why not frama-c instead?
by guerrilla 4y ago
Why not frama-c instead?
- ryao 4y agoYou could submit frama-c as a hacker news link. That said, frama-c suffers from a documentation problem. It has so much documentation that it either lacks good documentation explaining how to navigate its documentation, or it has that documentation and it is not easy to find. :/
- rwmj 4y agoFWIW I explored frama-c a bit and made a video about it: http://oirase.annexia.org/tmp/2020-frama-c-tech-talk.mp4 http://oirase.annexia.org/tmp/2020-frama-c-tech-talk.mp4 It's an internal Red Hat tech talk but I don't think anyone's going to mind.