Stack analysis tools

I'm working in automotive field and my Compan开发者_开发知识库y tends to buy a stack analysis tool (a tool to compute the maximum stack for a given source code or binary). We are using different targets ranging from 8 bits to 32 bits, previously we were using a home made tool, and we are currently evaluating stack analyzer from Absint, any other tool suggestions will be helpful.

If you can be satisfied with the kind of approximation that can be made by doing the analysis at the source level, and you are using C, Frama-C's value analysis can give you an exhaustive list of call stacks (in terms of source functions) that can happen at run-time.

Frama-C also provides the building blocks to quickly convert these source-level possible call stacks into stack depths if you know precisely how your C compiler works: for each function, you can programmatically inspect local variables, arguments, ...