公开(公告)号：US20060150160A1

公开(公告)日：2006-07-06

申请号：US11331554

申请日：2006-01-12

申请人： S. Tucker Taft ,  Robert Duff ,  Melanie Blower ,  Mireille Gart ,  Sheri Bernstein

发明人： S. Tucker Taft ,  Robert Duff ,  Melanie Blower ,  Mireille Gart ,  Sheri Bernstein

IPC分类号： G06F9/44

CPC分类号： G06F11/3604

摘要： It is possible to identify pre- and post-conditions on a set of machine instructions by determining and analyzing possible value sets for variables and expressions. Stepping forward and backward through the set of instructions and tracking value sets at all points of reference allows for the value sets to be maximally restricted, which, in turn, gives an indication of allowed domains for different variables. These domains can be used to derive pre- and post-conditions for the set of instructions.

摘要翻译： 可以通过确定和分析变量和表达式的可能值集来识别一组机器指令的前后条件。 在所有参考点上向前和向后推进指令和跟踪值集合可以最大限度地限制值集合，这反过来又给出了不同变量的允许域的指示。 这些域可用于导出该组指令的前后条件。