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.

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

StackAnalyzer 自动分析出您的应用程序中最差情况下的堆栈使用情况； 分析结果以标注的形式在调用关系图和控制流图中显示。

Check your C or C++ code for runtime errors with Astrée.. Discover any divisions by zero, out-of-bounds array accesses, erroneous pointer manipu­lations, and arith­metic overflows.

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

Jul 1, 2020 · 德国AbsInt公司是一家安全苛求软件研发、确认、验证和认证工具链的供应商，能够为客户提供完整的确保代码安全的性能分析工具套件以及软件分析、验证、确...

If you have any questions first, simply write to [email protected]. Current release 24.10 Customers with active support have been sent the direct download links via email.

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

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

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