Static stack analysis involves examining every instruction in the compiled object code to see where stack pointer(s) are adjusted and by how much. Following calls through pointers is not possible without additional information (which is usually supplied manually).