发明名称 |
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.
|
申请公布号 |
US2012246626(A1) |
申请公布日期 |
2012.09.27 |
申请号 |
US201213428608 |
申请日期 |
2012.03.23 |
申请人 |
GHORBAL KHALIL;IVANCIC FRANJO;BALAKRISHNAN GOGUL;MAEDA NAOTO;NEC LABORATORIES AMERICA, INC. |
发明人 |
GHORBAL KHALIL;IVANCIC FRANJO;BALAKRISHNAN GOGUL;MAEDA NAOTO |
分类号 |
G06F9/44 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|