C代码分析工具 Frama-C

LGPL
C/C++
Windows
2009-09-27
红薯

Frama-C 是一个用来分析 C 代码的工具,它收集了很多静态统计技术,如代码切片和依赖分析等。

加载中

评论(0)

暂无评论

暂无资讯

1
回答
Frama-C如何使用

@网名还没想好 你好,想跟你请教个问题: 你好,我现在做项目需要使用Frama-C分析程序的数据流信息,但是我研究了好几天都没有得到我想要的信息。正好在社...

2016/10/14 09:59
1
回答
有用过frama-c软件的吗?在Ubuntu上安装了个frama-c想用来分析linux的一些和命令有关的C源代码,可是却不知的这个frama-c怎么用

有用过frama-c软件的吗?在Ubuntu上安装了个frama-c想用来分析linux的一些和命令有关的C源代码,可是却不知的这个frama-c怎么用

2012/07/27 17:59

没有更多内容

加载失败,请刷新页面

没有更多内容

C 代码静态检测 记

工具 插件

2015/03/10 11:34
153
0
呕血之作!整理20款安全测试工具

为了提高安全测试的效率,我们需要借助一些安全性测试工具。针对安全性测试的工具非常多,慧都小编主要推荐20款,非常实用的安全测试工具,希望能帮到大家。

2014/03/21 14:15
167
0
code analysis

GNU Hurd/ open issues/ code analysis Recent Changes Preferences Edit History Source Discussion Welcome to...... the GNU Hurd! Breaking News The Google Summer of Code 2014 is on!...

2014/09/14 23:27
40
0
web-mode.org

http://web-mode.org/ emacs 下的web模式 C-c C-; : 注释/反注释当前行 C-c C-a : 格式化整个缓冲区 C-c C-b : 跳转HTML元素的开始 C-c C-d : 删除当前html元素 C-c C-e : 选择当前html元素内...

2013/03/27 08:25
88
0
Clink(Powerful Bash-style command line editing )

Powerful Bash-style command line editing for cmd.exe

2014/10/14 19:43
145
0
html-mode简单使用

Emacs 默认为我们提供了一个编写 html 文件的模式 -- html-mode 。这给我们带来了不小的方便。当然,你也可以尝试功能更加强大的 html-helper-mode 。 1、开始 当我们打开一个 .html 格式的文...

2018/03/31 08:18
1
0
Emacs快捷键(不断更新)

基本快捷键 C-x C-c :关闭Emacs C-z :挂起Emacs C-g :取消未完成的命令 C-l :重绘屏幕,效果就是当前编辑行移动窗口中央 C-x C-q : 修改buffer的只读属性 C-x u : C-_ : C-u n. : M-n. : 文...

2011/09/14 12:31
370
0
python学习第三天

继续学习 参考在线文档http://www.runoob.com/python/python-while-loop.html

2016/01/13 15:59
49
1
学到 jstl语言的几点注意事项

1.当要在jsp中使用两个条件都是真的时<c:when test="${empty current.procureNew&¤t.userByCreater.id==user.id}">,例子如下: <c:choose><c:when test="${empty current.procureNew...

2013/03/15 20:51
187
0

没有更多内容

加载失败,请刷新页面

返回顶部
顶部