Type-based analysis is an approach to static analysis of programs that has been studied for more than a decade. A type-based analysis assumes that the program type checks, and the analysis takes advantage of that. This paper examines the state of the art of type-based analysis, and it surveys some of the many software tools that use type-based analysis. Most of the surveyed tools use types as discriminators, while most of the theoretical studies use type and effect systems. We conclude that type-based analysis is a promising approach to achieving both provable correctness and good performance with a reasonable effort.
机译:基于类型的分析和应用
机译:走向基于类型的道路网络分析
机译:面向对象程序的基于类型的复杂度分析
机译:Java Web应用程序的基于类型的污点分析
机译:用于伸缩语言的基于类型的原型编译器。
机译:小鼠上腔囊作为模型系统用于研究基于细胞类型的视觉运动转换机制
机译:Java Web应用程序的基于类型的污点分析