Abstract interpretation
这就是抽象释义(Abstract Interpretation)方法根本:们抽象出程序某些信息,对这些信息进行自动分析,来尝试确定程序是否有着们想要性质,比如不会死循环、不会溢出等等.
基于2298个网页-相关网页
在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息(比如，控制结构、信息流)而不进行所有计算。 它的主要具体应用是形式静态分析，关于计算机程序的可能执行的信息的自动提取；比如这种分析有两个主要用途: 在编译器内部，分析程序来确定特定优化或变换是否是可适用的；针对缺陷类的程序的调试甚至校验。 抽象释义是 Patrick Cousot 和 Radhia Cousot 所形式化的。
详细内容
应用推荐
模块上移
模块下移
不移动