Low-Level Static Analysis For Memory Usage And Control Flow Recovery