Patents Assigned to SofCheck, Inc.
  • Software analyzer
    Publication number: 20060150160
    Abstract: 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.
    Type: Application
    Filed: January 12, 2006
    Publication date: July 6, 2006
    Applicant: SofCheck, Inc.
    Inventors: S. Tucker Taft, Robert Duff, Melanie Blower, Mireille Gart, Sheri Bernstein