寻找供应商
广告
首页 > 测试行业动态 > 正文

确保代码安全的静态性能分析工具

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
分享到：
 
反对 0 举报 0 收藏 0 评论 0
  • 汽车测试网V课堂

    汽车测试网V课堂

  • 微信公众号

    微信公众号

  • 汽车测试网手机站

    汽车测试网手机站

• 是德科技 FieldFox 手持式分析仪配合 VDI 扩频模块，实现 • 郑州汽检中心入选首批“中国汽车工程学会汽车科普教育基地
• 关于发布《中国保险汽车安全指数测试评价规程（2023版2024 • 联合国世界车辆法规协调论坛自动驾驶适用性分析任务组暨车
• 中汽股份入选中国汽车工程学会汽车科普教育基地 • 中国电动汽车火灾安全指数2025年测评车型库发布
• 汽车安全专家点评懂车帝30车钻撞卡车测试：不专业就不要添 • 中国汽车工程学会标准发布会暨汽车后轮转向技术交流会在重
• 卓宇信息正式成为REANA软件在中国区的独家代理 • 招商车研受邀参加中国汽车工程学会年会暨展览会
0 条相关评论
  • 广告
  • 广告

编辑推荐

最新资讯

  • 广告
  • 广告
沪ICP备11026917号-25