德国AbsInt公司是一安全苛求软件研发、确认、验证和认证工具链的供应商，能够为客户提供完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。AbsInt产品广泛地应用于工业、交通、汽车、通信和能源等行业的安全苛求软件研发过程中。
产品介绍
AbsInt 代码安全性能/资源分析套件主要包括以下几种产品：
? StackAnalyzer
? aiT WCET Analyzer
? TimingProfiler
? TimeWeaver
? 二进制代码分析工具
? StackAnalyzer 针对特定的处理器︾族和编译器，能够自动分析出任务的堆栈使用量，即避免了人为低估造成的堆栈溢出，又避免了人为高估而造成的资源浪费。
?aiT、TimingProfiler和TimeWeaver
▼ aiT 针对特定的处理器和编译器，能够分析出更接近实¤际运行情况的执行时间，真实反映系统性∮能。在分析过程中充分考虑了高速缓存和流水线（pipeline） 的影响，从而避免了过于保守的WCET 值，亦避免了硬件资源的浪费。
▼ TimingProfiler 针对特定的处理器族和编译器，能够从设计初期即开〓始对代码执行效率进行持续分析和估计，进而ω为芯片选型、不同算法方案的执行效率评估等提供依据。
▼ TimeWeaver对于某些复杂处理器，尤其是aiT不能支持的高级处理□ 器，Absint公司提↑供了一种基于实际Trace数据的结合动态测试和静态分析的混合WCET分析工具。
▼ TimeWeaver可集成至PIL测试/HIL测试环境，进行处理器性能分析和验证工作。
▼ 对于Infineon Aurix系列芯片，可采用TimeWeaver与Infineon DAS工具（）进行集成的方案，执行分析过程。
?特点
▼ aiT/TimingProfiler/StackAnalyzer，代码静态分析工具，可直接导入编译后的.elf/*.out等二进制可执行◆文件进行自动分析，不会对现有的工具链造成影响
▼ TimeWeaver，动态测试+静态分析，利用二进制可执行文件进行静态分析，遍∑ 历所有代码执行路径。借助Trace分析结果，选用在实际处理器上的代码片段执行时间，综合分析得出代码的情况执行时间
▼ 图形化显示程序调用图和控制流图，找出代码性能优化瓶颈，为优化提供依据
▼ 遍历所有程序执行路径，对所有场景有效，无▲需提供测试用例(TimeWeaver所使用的Trace数据需要提供相应的测试环境及用例)
▼ 支持批量ㄨ测试，支持Jenkins，可实现软件持续集成测试
▼ aiT和StackAnalyzer有认证支持包，能够提供认证支持服务（ ISO-26262, IEC-61508, EN-50128 等）
? 应用&案例
丰田汽车非预期加速事件调查 ，2010 年 aiT 被 NASA 作为工业标准静态分析工具用于丰田汽车公司非预期加速事件调查，以排除与时间相关的软件缺陷。
Daimler在动力总成控制系统等多个软件研发项目中，成功运用StackAnalyzer 工具进行相关分析，在研发前期即对软件的堆栈使用量情况进行有效分析和预估，避免了堆栈溢出等问题造成的项目延期和成本损失。
