I found a nice tool[1] on GitHub.
I run it on one of my embedded projects and after a couple[2] of fixes,
it eventually printed some good output.
There were many unresolved functions, mainly from libc, C runtime,
interrupts. I defined all of them in .msu, so now in the final output
there aren't unresolved functions.
Now there's another big problem. Many functions have an unbounded stack
usage and I'm quite sure this depends on function pointers.
For example, I use this[3] printf library. It uses function pointer to
emit characters: sprintf calls _vsnprintf() with _out_buffer() function
pointer; printf calls _vsnprintf() with _out_char() function pointer.
So sprintf-like functions have an unbounded stack usage, because the
poor tool wcs.py isn't able to understand that there are only a few
possibilities for the first argument (the function pointer) of _vsnprintf().
It's a pity it isn't possible to set a list of functions for certain
functions pointers so wcs.py could print a better result.
[1]
https://github.com/PeterMcKinnis/WorstCaseStack
[2] The tool emitted some errors on a few WEAK functions that are
interrupt handlers. I used .msu file to set a stack usage for those.
Another problem is in print_all_fxns() function and the access to
fxn_dict2['demangledName'].
For some functions (I think the functions defined in .msu) there weren't
'demangledName' so I print the simple 'name'.
[3]
https://github.com/mpaland/printf