absint — 确保代码安全的静态性能分析套件-凯发官方首页

        德国absint 公司是全球安全苛求软件研发、确认、验证和认证工具链供应商。能够为客户提供完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。absint 产品广泛地应用于汽车等行业的安全苛求软件研发过程中。

 

二进制代码分析工具

• ait、stackanalyzer和timingprofiler

    ♦  ait针对特定的处理器和编译器，能够分析出接近实际运行情况的较差执行时间，真实反映系统性能。在分析过程中充分考虑了高速缓存和流水线（pipeline）的影响，从而避免了过于保守的wcet值，亦即避免了硬件资源的浪费

 

 

    ♦  stackanalyzer 针对特定的处理器族和编译器，能够自动分析出任务的较差堆栈使用量，即避免了人为低估造成的堆栈溢出，又避免了人为高估而造成的资源浪费

 

 

 

特点

    ♦  代码静态分析工具，可直接导入编译后的.elf/*.out等二进制可执行文件进行自动分析，不会对现有的工具链造成影响

    ♦  图形化显示程序的调用和控制流及不同程序点的机器状态，为优化提供依据

    ♦  遍历所有程序执行路径，对所有场景有效，无需提供测试用例

 

c 代码分析工具

• astrée

    ♦  astrée 能够确保找出所有的代码运行时错误 (run-timeerror) 和数据竞争(data race) 问题，控制流和数据流达到比较高的覆盖度

    ♦  astrée高效分析方法，确保比较低的误报率

    ♦  astrée 在 分 析 过 程 中 能 够 考 虑 arinc653osekautosar 等os 配置环境的影响，提高分析结果精确度

    ♦  astrée的分析结果支持交互式浏览，能够帮助用户迅速定位问题，并进行备注及修改

    ♦  astrée可与dspace targetlink实现无缝集成

    ♦  astrée有认证支持包，能够提供认证支持服务（do-178b,iso-26262, iec-61508, en-50128 等）

• rulechecker