RSS
Total Solutions Partner
Product Type
Static program analysis
Product Family Name
- StackAnalyzer
- aiT WCET Analyzer
- ValueAnalyzer
Product Summary
- StackAnalyzer provides static stack-usage analysis
- aiT WCET Analyzer provides static worst-case execution time analysis
- ValueAnalyzer provides static program analysis
Product Description
- StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. It directly analyzes binary executable, exactly as the are executed in the final system. The analysis results are valid for all inputs and each task execution.
- aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account.
- ValueAnalyzer is a static program analyzer for value analysis. It is particularly useful for verifying the absence of illegal accesses to an embedded software system from within third-party modules provided as object code.
Processors Supported
- StackAnalyzer: Am486, ARC, ARM, C16x/ST10, C33, ERC32, H8, HC11, HCS12, i386DX, LEON2, LEON3, M68020, ColdFire, PowerPC, TriCore, V850, x86
- aiT WCET Analyzers: Am486, ARM, C16x/ST10, C33, ERC32, HC11, HCS12, i386DX, LEON2, LEON3, M68020, PowerPC 5xx, PowerPC 55xx, PowerPC 56xx, PowerPC 603e, PowerPC 7448, PowerPC 7448s, PowerPC 750, PowerPC 755, PowerPC 755s, TriCore, V850E
- ValueAnalyzer: Am486, ARC, ARM, C16x/ST10, C33, ERC32, H8, HC11, HCS12, i386DX, LEON2, LEON3, M68020, ColdFire, PowerPC, TriCore, V850, x86
Supported Green Hills Software Products
Green Hills Optimizing Compilers (for C-language V850 and Power Architecture)
Green Hills Ada Optimizing Compilers (for Power Architecture)
Headquarters
AbsInt Angewandte Informatik, GmbH
Science Park 1
66123 Saarbruecken, Germany
www.absint.com
