Stack Analyzer
Static binary code analysis tool:
Detection of errors due to stack overflow
Nine reasons to choose StackAnalyzer
Stack Analyzer is based on formal methods, and allows testing for the absence of stack overflow runtime errors.
Today, it is likely the only tool that can provide this guarantee.
1.
It performs static analysis on the binary (executable) code.
2.
It supports multiple cross-compilers from different providers and programming languages (C, C++, Ada).
3.
It provides detailed user and system stack usage information at the task level.
4.
It allows selecting the start point of the analysis.
5.
It performs a reconstruction of the control flow directly from the binary code.
6.
It provides assembly code and source code level information.
7.
The optional Value Analyzer module allows flow control and data control analysis (analysis of registers and memory areas, access control to variables and functions).
8.
It has integrations with Jenkins, Eclipse and TargetLink (dSpace).
9.
It has a Certification Package for DO-178, ISO 26262, EN-50128 and FDA.
