如果是对源码进行自动化的静态分析，那么还是跟我所希望的不一样。我所希望的是提供栈以外的新的逻辑模型来填补栈的表达力所不及的那些空白，我觉得这是在简洁性和性能之间取得平衡的理想手段。