我试图在Windows 7上运行Frama-C,但它没有用.
我已经阅读了你在这里写的所有提示和评论,但仍然没有用.
能有人解释安装过程是一种清晰简单的方法,我会感激不尽？
frama-c
frama-c ×1