当前位置:  软件>C/C++软件

C代码分析工具 Frama-C

    来源:    发布时间：2015-02-22

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

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

C代码分析工具 Frama-C[图片]


    
 
 

您可能感兴趣的文章:

  • 哪位会使用代码保护工具WingGuard来保护java代码？
  • 请问用jsp编写程序，非要编写代码么？有没有什么象fontpage2000那样的工具，能够生成一些固定模板的工具？就是说不用全部都写的工具。望
  • 可视化代码评审工具 Phabricator
  • Java 代码分析工具 JHawk
  • 代码覆盖率统计工具gcov的扩展 lcov
  • 代码覆盖率检查工具 Cobertura
  • 代码检索工具 CodeQuery
  • 代码审查工具 CodePro Analytix
  • linux下的代码查看工具
  • C代码漏洞检测工具 Splint
  • 代码审查工具 Codebrag
  • 代码评审工具 QuickRev
  • 代码自动生成工具 Acceleo
  • C/C++代码覆盖率测试工具 BullseyeCoverage
  • 代码审核的Web工具 JSHintr
  • Java 代码检测工具 Hammurapi
  • Java 代码生成工具 JAnnocessor
  • 代码研究工具 Relo
  • 代码覆盖测试工具 kcov
  • PHP 代码格式化工具 phpCodeBeautifier
    •  
    本站(WWW.)旨在分享和传播互联网科技相关的资讯和技术，将尽最大努力为读者提供更好的信息聚合和浏览方式。
    本站(WWW.)站内文章除注明原创外，均为转载、整理或搜集自网络。欢迎任何形式的转载，转载请注明出处。












  • 相关文章推荐
  • javascript 添加到收藏夹和书签代码示例
  • 在JBuilder中，为什么编写的代码中，当代码出现关键字时，后面的部分代码就移位了，当在有关键字的那些代码行进行选择时，也会出现鼠标位
  • Python GUI编程:tkinter实现一个窗口并居中代码
  • 为什么两行代码间不加入其他代码就崩溃，而加入了日志代码后就不崩溃？
  • JSP中清空cookie代码参考
  • 在ubuntu8.10 新立得中安装anjuta,为什么没有代码提示功能，怎么做才有，还有自动代码补全和代码提示有什么区别，
  • Python获取网页编码的方法及示例代码
  • 到底怎么样的代码算是有效代码？请教了。。
  • HTML网页中的html body onload自动跳转方法介绍及自动跳转代码示例
  • 如果要研究源代码以提高自己，哪一个开放源代码的软件比较合适？
  • php通过socket_bind()设置IP地址代码示例
  • linux源代码的时间函数源代码
  • boost库lexical_cast不同用法代码参考
  • gdb的时候代码 next显示的代码乱了
  • 通过javascript库JQuery实现页面跳转功能代码
  • 源代码！源代码！
  • 使用libpcap读取tcpdump抓取的文件并解析c代码实例
  • 如何得到C语言代码对应的汇编代码？
  • HTML网页的Meta Refresh自动跳转方法介绍及Meta Refresh自动跳转代码示例
  • RedHat Linux是开放源代码的吗？如何能看见它的源代码，如何进行修改？
  • Linux c++虚函数(virtual function)简单用法示例代码
  • indent可用来格式化C代码，但是用什么格式化C++代码呢


    • 站内导航:


    特别声明:169IT网站部分信息来自互联网,如果侵犯您的权利,请及时告知,本站将立即删除！

    ©2012-2021,,E-mail:www_#163.com(请将#改为@)

    浙ICP备11055608号-3