确保代码安全的静态性能分析工具
产品介绍
AbsInt 代码安全性能分析套件主要包括以下几种产品:
● aiT WCET Analyzer/ 最差情况执行时间分析工具
● StackAnalyzer / 最差情况堆栈使用量分析工具
● TimingProfiler/ 代码执行时间分析工具
● Astrée /C 代码运行时错误和数据竞争检查工具
● RuleChecker/C 代码规则检查工具
● CompCert/ 形式化方法验证的优化 C 语言编译器
二进制代码分析工具
● aiT、StackAnalyzer 和TimingProfile
-
汽车测试网V课堂
-
微信公众号
-
汽车测试网手机站
编辑推荐
最新资讯
-
自动驾驶地方立法的规范框架与基本思路
2024-05-16 08:24
-
Cache基本原理--以TC3xx为例
2024-05-16 08:07
-
一氧化碳对膜电极性能的影响
2024-05-15 17:54
-
上海市智能网联汽车封闭式测试场又添新选项
2024-05-15 17:53
-
中国汽研助力某乘用车企业获得CSMS/SUMS体
2024-05-15 16:33