首页>
外国专利>
Donut domains—efficient non-convex domains for abstract interpretation
Donut domains—efficient non-convex domains for abstract interpretation
展开▼
机译:甜甜圈域-用于抽象解释的高效非凸域
展开▼
页面导航
摘要
著录项
相似文献
摘要
A computer implemented program analysis method employing a set of new abstract domains applicable to non-convex invarients. The method analyzes programs statically using abstract interpretation while advantageously considering non-convex structures and in particular those situations in which an internal region of an unreachable state exists within a larger region of reachable states. The method employs a new set of non-convex domains (donut domains) based upon the notion of an outer convex region of reachable states (Domain D1) and an inner region of unreachable states (Domain D2) which advantageously permits capture of non-convex properties by using convex regions and operations.
展开▼