Memory safety analysis for TriCore

ValueAnalyzer for TriCore is a tool for static analysis of register and memory contents. 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
initialization analysis for execution-time or stack-usage analyses, to improve precision and minimize manual annotations

Key benefits

The analysis is fully automatic and valid for all inputs. No input patterns need to be provided.
The analysis performed by ValueAnalyzer is conservative, i.e. the results are safe. All illegal accesses that are present will also be reported.
Supplied third-party software can be analyzed right away. It does not have to be integrated on the ECU.
No debug information is required. The results are not affected by possible bugs in the debug output.
Seamless integration with other analysis tools from AbsInt (e.g. StackAnalyzer for stack usage analysis) in a single intuitive user interface.

AUDO NextGeneration (Core 1.3):
- TriCore 1762
- TriCore 1766
- TriCore 1796
AUDO Future (Core 1.3.1):
- TriCore 1167
- TriCore 1197
- TriCore 1736
- TriCore 1767
- TriCore 1797
AUDO MAX (Core 1.6):
- TriCore 1724
- TriCore 1728
- TriCore 1782
- TriCore 1784
- TriCore 1791
- TriCore 1793
- TriCore 1798
AURIX family (Core 1.6P/1.6E/1.6.1):
- TriCore 275
- TriCore 277
- TriCore 297
AURIX family 2nd GEN (Core 1.6.2P):
- TriCore 33x
- TriCore 35x
- TriCore 36x
- TriCore 37x
- TriCore 38x
- TriCore 39x
AURIX family 3rd GEN