Adjustment about unresolved stack usage in binary ninja

This is a short article about the error “This function has unresolved stack usage.View graph of stack usage to resolve” in binary ninja and the function “Set Stack Adjustment”.

Acctually, this error has the similar solve way as IDA.
First, you should step in the “Graph of stack usage” as the image note:
alt text
In this Graph, you should care about the “Green Block” and “Bule Block”. Green means it is fine. and Blue, as the first sentence of blue block, is the error stack.
alt text
And, by right click in the first call of blue block, click the “Set Stack Adjustment” you can input number to adjust stack analyze in this call:
alt text
alt text
But soon, a confused thing : why this error not solved? And graph not changed.
In fact, the reason is: this “Graph of stack usage” is a static graph. It will not update with our adjust just in time. So, you can re-step in this graph again to check your adjustment if it works.
In this case, I adjust two call’s stack usage, and set adjustment by 1
alt text
by 0
alt text
and solved.
alt text

example: RCTF2019-DontEatMe-main