软件适航加油站

 找回密码
 成为会员
搜索
查看: 2778|回复: 2

diab编译器的参数定制和一致性证明

[复制链接]
donleo 发表于 2013-6-5 18:31:13 | 显示全部楼层 |阅读模式
通过影响额外代码生成的diab编译参数分析,给出一套Tornado/vxWorks下的diab编译器参数定义;并给出分析一致性的证明方法。通过这些方法,作者也发现了多个适航代码编译链接过后产生的额外符号和二进制代码

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?成为会员

x
wanglei 发表于 2013-6-6 16:04:40 | 显示全部楼层
感谢分享哦~楼主是作者不?
 楼主| donleo 发表于 2013-6-23 11:25:11 | 显示全部楼层
我就是作者
您需要登录后才可以回帖 登录 | 成为会员

本版积分规则

小黑屋|Archiver|手机版|软件适航加油站 ( 沪ICP备13019901号-3 )

GMT+8, 2018-1-23 16:08 , Processed in 0.124800 second(s), 17 queries .

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表