Hi Jatin,
One of the important scenario that you left is indirect function call
through function pointer.

There are tools like the Infineon TriCore SDA (Stack Depth Analyzer) and
others from Absint (www.absint.com/stackanalyzer)(I am sure there will be
others too)
I know about the Infineon tool, which identifies recursion, indirect
recursions and indirect function calls.
It calculates the stack requirement of an application statically by
getting user inputs.

Hope this helps.

Best Regards,
Nitin Gupta

Jatin Bhateja wrote:

Hi,

Is it possible at compile time to know whether there is a possibility of
stack overflow at run time? I feel that to some extent it is possible.