| 查看: 468 | 回复: 2 | |||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||
[交流]
有没有可能对C代码进行自动分析？找出其中影响程序可靠性的关键代码或者模块？
|
|||
| 从逻辑上，而不是从语法上对程序进行自动分析，该用什么理论或者工具呢？比如对同样功能的两个程序，能够找出设计的弊端，或者可能对性能造成瓶颈的地方。 现在的技术有没有可能实现这一点？ |
回复此楼» 本帖已获得的红花（最新10朵）
oquick» 猜你喜欢
遇见不省心的家人很难过
已经有24人回复
-
依托企业入选了国家启明计划青年人才。有无高校可以引进的。
已经有6人回复
-
博士延得我，科研能力直往上蹿
已经有9人回复
-
天津大学招2026.09的博士生，欢迎大家推荐交流（博导是本人）
已经有6人回复
-
AI 太可怕了，写基金时，提出想法，直接生成的文字比自己想得深远，还有科学性
已经有6人回复
-
有院领导为了换新车，用横向课题经费买了俩车
已经有9人回复
-
酰胺脱乙酰基
已经有13人回复
-
同年申请2项不同项目，第1个项目里不写第2个项目的信息，可以吗
已经有4人回复
-
有时候真觉得大城市人没有县城人甚至个体户幸福
已经有10人回复
» 抢金币啦！回帖就可以得到:
-
中国石油大学（华东）吴传德教授团队（国家杰青）2026硕、博招生
+2/224
-
湖南大学材料院陶益杰老师招收2026年联合培养硕士学生一名
+1/182
-
华南师范大学（211）- 光电科学与工程学院 - 申请审核制（2026年4-5月份面试考核）
+2/126
-
坐标浙江宁波，诚征女友
+1/62
-
湖南大学袁达飞课题组招收第二批2026年9月入学的博士研究生一名
+1/28
-
香港中文大学（深圳）陈筱萌 课题组招生公告（博士 / 博后 / 硕士 / RA）
+1/16
-
上海工程技术大学张培磊教授团队招收博士生
+1/14
-
澳科大招收2026年秋季药剂学/生物材料方向全奖博士研究生（春节不打烊）
+1/14
-
队友
+1/11
-
中科院深圳先进院-免疫治疗方向-招收1名博士生(26年9月入学)
+1/9
-
美国密苏里大学“柔性电子”课题组诚聘博士研究生和博士后
+1/8
-
广东工业大学马琳教授课题组招收2026年博士（材料物理与化学、光学专业）
+1/6
-
【科研助理招聘-北京理工大学-集成电路与电子学院-国家杰青团队】
+1/6
-
哈工大 张乃庆课题组招收博士快响计划（名额充足），通过后随时入学
+1/5
-
大连工业杰青、长江团队-生物质材料方向招收2026级博士生
+1/5
-
【经验分享】CRISPR基因敲除细胞系构建全流程踩坑指南——从递送方式选择到克隆筛选
+1/4
-
上海理工顾敏院士/李蔚团队招收2026级博士研究生 （集成光学、量子信息方向）
+1/3
-
哈工大（深圳）物理招收2026年9月入学博士生1个名额
+1/1
-
自荐：大模型ai辅助论文阅读软件：EasyReader论文易读
+1/1
-
求助化学专业科技论文写作的课件及电子版教材
+1/1
3楼2013-04-02 14:30:04
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
小木虫: 金币+0.5, 给个红包，谢谢回帖
|
没有自动可靠性分析的工具，最多也只能进行自动单元测试的工具。 有一些软件可靠性测试的工具，但据我所知，要么需要posix接口标准，要么是特定环境下的，但所谓的分析基本是一些统计数据，如api失效率之类的，如ptrace，STToolkit等，基本原理都是插入调试点，进行调用拦截，在统计分析失效次数。还没有见过逻辑层面分析的，逻辑层面分析估计和人工自能的复杂度一样，就相当于用一个程序自动写新程序。 有函数模块和调用的自动分析的工具，这个很多，如calltree，kprof等。 有性能测试的工具，如Intel VTune性能分析器，可以找出瓶颈，就是所谓的性能热点。 软件有很多的可靠性模型，但它们基本上是工程方法，涉及工程管理，bug修复对故障的影响，没有一个是可以在语言级别进行分析的。 语言开发是一种最佳实践问题，不存在最优的实现方法，同时不同的输入会产生不同的输出，因而也不可能有自动优化和分析的工具。要进行分析就得实测，统计需要分析的结果。 这是个人见解，希望有用。 |
2楼2013-03-30 20:03:50