×

Pointer analysis by type inference for programs with structured memory objects and potentially inconsistent memory object accesses

  • US 6,202,202 B1
  • Filed: 09/24/1996
  • Issued: 03/13/2001
  • Est. Priority Date: 09/24/1996
  • Status: Expired due to Term
First Claim
Patent Images

1. A method for performing a pointer analysis for a program with a data processing system, the method comprising the steps of:

  • (a) identifying in the program one or more store usages accessing locations; and

    (b) generating a store model to approximate run-time store usage for the program, the store model comprising types having components representing locations for the identified store usage(s) such that the types describe access patterns for the locations for the identified store usage(s) based on how the identified store usage(s) access the locations and such that the types representing the locations for the identified store usage(s) comply with a typing constraint.

View all claims
  • 2 Assignments
Timeline View
Assignment View
    ×
    ×