前言 发现最近很少人看了，也收到很多师傅反馈看不懂，相关的前置知识我在理论部分也简单提过了，关于程序分析理论的前置知识实际上就是半序集，完全格，结构归纳法。除此之外，文...

  前言 本篇是程序分析理论第十一篇：基于类型和响应的系统模型Type and Effect Systems 想法：加入type模型在分析过程中触发响应模型实现函数指向。     基于类型的系统模...