Frama-C如何使用

如何使用Frama-C如何使用Frama-C简介:@网名还没定。你好，我想问你一个问题:你好，我现在需要使用Frama-C分析程序的数据流信息来做项目，但是我研究了好几天都没有得到我想要的信息。 就在社区看到你之前，我问你怎么用FRAMA-C。