1. A method comprising: determining, by one or more processors, whether a first procedure within a first program has access to one or more variables declared outside the scope of the first procedure; generating, by one or more processors, a call graph computation that includes searching from a vertex representing the first procedure until one or more of a plurality of criteria that are configured for pessimistic aliasing cause the first procedure to be flagged; determining, by one or more processors, whether the first procedure within the first program meets a first criterion, wherein the first criterion is included in the plurality of criteria; and responsive to the determination, determining, by one or more processors, whether to flag the first procedure for pessimistic aliasing.