Diagnosing Aliasing Violations in a Partial Program View

A computer product that performs a static analysis of source code, the computer program product comprising a computer recordable storage medium tangibly embodying program code, which when executed by a computer, performs action comprising:

• identifying, in a current program view of source code, a set of symbols with assigned definitions, wherein the set of symbols is referenced in source code outside the current program view available to a compiler;
• receiving a set of aliasing rules for the source code;
• identifying potential aliasing errors, based on the set of aliasing rules, that occur in the source code outside the current program view;
• and
• generating diagnostic messages for the set of symbol definitions with assigned definitions based on the identified potential aliasing errors.

A data processing system that optimizes the performance of source code, the system comprising:

• a processor that receives the source code;
• a compiler that processes the source code input to the processor;
• a memory communicatively coupled to the processor, the memory comprising programming instructions executable by the processor, the memory comprising:
• instructions to identify, in a current program view of source code, a set of symbols with assigned definitions, wherein the set of symbols is referenced in source code outside the current program view available to a compiler;
• instructions to receive a set of aliasing rules for the source code;
• instructions to identify potential aliasing errors, based on the set of aliasing rules, that occur in the source code outside the current program view;
• and
• instructions to generate diagnostic messages for the set of symbols with assigned definitions based on the identified potential aliasing errors.