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, ...