通过符号执行解决文字冒险游戏