AbsInt provides sophisticated software products and advanced services in the areas of compiler technology, static program analysis and worst-case execution time prediction. The company name is a shorthand for 'abstract interpretation', a formal method for static program analysis.

2022年3月10日 · 德国AbsInt公司是专注于安全苛求软件研发、确认、验证和认证的工具链供应商。 能够为客户提供较完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。

StackAnalyzer 自动计算出程序的堆栈使用情况。 分析结果对于优化程序堆栈使用有很大的帮助。

Find any stack overflows, or formally prove the absence thereof. Quickly identify critical sections and execution paths to optimize your code’s performance. Analyze the execution time with aiT, TimeWeaver or TimingProfiler. Compute tight upper bounds for the worst- case execution time of tasks in your binary ex­e­cut­able.

2019年12月19日 · 德国AbsInt公司是一家安全苛求软件研发、确认、验证和认证工具链的供应商，能够为客户提供完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。

AbsInt是dSPACE Product Partner。可用于分析运行时错误、堆栈溢出和定时错误. AbsInt 已成功开发工具，对事关安全的嵌入式软件进行验证、检验并认证。这些静态分析工具采用抽象的计算解译，保证结果可靠，对所有程序运行以及任何可能的输入场景均有效。

2023年11月8日 · 德国AbsInt公司是专注于安全苛求软件研发、确认、验证和认证的工具链供应商，能够为客户提供完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。

2023年11月8日 · 德国AbsInt公司是专注于安全苛求软件研发、确认、验证和认证的工具链供应商，能够为客户提供完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。

2023年11月8日 · 德国AbsInt公司是专注于安全苛求软件研发、确认、验证和认证的工具链供应商，能够为客户提供完整的确保代码安全的性能分析工具套件以及软件分析、验证、确认和编译器技术相关咨询服务。

AbsInt provides unique tools and services for the development, validation, verification and certification of safety-critical software. This includes static analysis of the worst-case execution time and stack usage, proving the absence of runtime errors, and checking compliance to coding guidelines such as MISRA or CWE.