Frama-C如何使用

shinhwa324 发布于 2016/10/14 09:59
阅读 578
收藏 0

@网名还没想好 你好,想跟你请教个问题:

你好,我现在做项目需要使用Frama-C分析程序的数据流信息,但是我研究了好几天都没有得到我想要的信息。正好在社区上看到您之前询问Frama-C如何使用的问题,请问您现在熟悉了吗,方便给我介绍一下吗?

加载中
0
icheer
icheer
这个都是几年前的事了,已经很久没研究了,完全不会了,不好意思哈,你可以把具体问题发出来大家看看嘛
返回顶部
顶部