AbsInt

AbsInt 是一家德国软件技术公司，主要面向嵌入式系统和安全关键型软件提供静态分析、程序验证及相关工程工具。其产品用于在不运行程序或尽量减少运行测试的情况下，分析源代码和二进制程序的行为，帮助开发团队发现运行时错误、评估资源使用情况，并为软件安全性和可靠性提供证据。公司的典型应用领域包括汽车、航空航天、铁路、工业自动化以及其他对功能安全或高可靠性有要求的行业。AbsInt 的产品线以分析工具为核心，覆盖运行时错误检测、最坏执行时间分析、栈使用分析等场景。由于这些工具常与行业标准、认证流程和嵌入式开发环境配合使用，AbsInt 的定位更接近专业软件供应商和工程技术服务商，而不是面向普通消费者的软件品牌。公开材料不足以确认其创立年份、创始人及股权结构等详细信息。

AbsInt 是一家总部位于德国萨尔布吕肯的软件技术公司，业务重点是嵌入式程序的静态分析和验证。公司长期围绕安全关键型软件开发中的几个核心问题构建产品：程序是否存在潜在运行时错误、代码在目标处理器上的执行时间上界是多少，以及任务或函数可能消耗多少栈空间。其工具通常服务于需要较高可靠性、可追溯性和认证支持的行业，而非普通桌面软件市场。公开可确认的资料主要集中于产品功能和应用场景，关于公司成立时间、创始团队、历次股权变化及经营规模的信息不足，因此不对这些内容作具体判断。

面向嵌入式软件、功能安全和安全关键系统的专业静态分析与验证工具供应商

• 静态分析与程序验证

  Astrée

  Astrée 是面向嵌入式软件的静态分析工具，用于在不依赖大量运行测试的情况下检查程序中的一类潜在运行时错误。它主要服务于高可靠性和安全关键型软件开发，并可用于辅助建立代码安全性与验证证据。

• 最坏执行时间分析

  aiT

  aiT 用于分析嵌入式程序在特定处理器和编译环境下的最坏执行时间。该类分析可帮助工程团队评估实时任务是否满足时间约束，并为实时系统设计和安全相关验证提供参考。

• 栈使用分析

  StackAnalyzer

  StackAnalyzer 用于估算和分析嵌入式程序的栈使用情况，帮助开发者识别可能的栈空间不足风险。它适用于资源受限的嵌入式系统，并可作为内存规划和软件验证流程的一部分。

1. 1AbsInt official websiteabsint.com