广告
确保代码安全的静态性能分析工具
2020-12-10 12:37:20· 来源：经纬恒润
德国 AbsInt 公司是全球领先的安全苛求软件研发、确认、验证和认证工具链供应商。能够为客户提供完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。AbsInt产品广泛地应用于航天航空、汽车、轨交、通信和能源等行业的安全苛求软件研发过程中。
德国 AbsInt 公司是全球领先的安全苛求软件研发、确认、验证和认证工具链供应商。能够为客户提供完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。AbsInt产品广泛地应用于航天航空、汽车、轨交、通信和能源等行业的安全苛求软件研发过程中。
产品介绍
AbsInt 代码安全性能分析套件主要包括以下几种产品：
● aiT WCET Analyzer/ 最差情况执行时间分析工具
● StackAnalyzer / 最差情况堆栈使用量分析工具
● TimingProfiler/ 代码执行时间分析工具
● Astrée /C 代码运行时错误和数据竞争检查工具
● RuleChecker/C 代码规则检查工具
● CompCert/ 形式化方法验证的优化 C 语言编译器
二进制代码分析工具
● aiT、StackAnalyzer 和TimingProfile
产品介绍
AbsInt 代码安全性能分析套件主要包括以下几种产品：
● aiT WCET Analyzer/ 最差情况执行时间分析工具
● StackAnalyzer / 最差情况堆栈使用量分析工具
● TimingProfiler/ 代码执行时间分析工具
● Astrée /C 代码运行时错误和数据竞争检查工具
● RuleChecker/C 代码规则检查工具
● CompCert/ 形式化方法验证的优化 C 语言编译器
二进制代码分析工具
● aiT、StackAnalyzer 和TimingProfile
广告 编辑推荐
最新资讯
-
商用车及工程机械行业专场：NVH 及语音音频
2025-08-01 17:12
-
理想i8和重卡对撞测试引争议，东风柳汽发声
2025-08-01 15:52
-
艾德克斯IT-N2100 系列太阳能阵列模拟器
2025-08-01 15:43
-
ITECH重磅发布IT2705直流电源分析仪，重构
2025-08-01 15:34
-
现代汽车新一代混合动力系统：以技术革新引
2025-08-01 15:32
