1. A computer implemented method for facilitating debugging of source code, the computer implemented method comprising: identifying a set of indirect memory references in the source code; generating points-to records for the source code; validating the set of indirect memory references using the points-to records and an aliasing rule to identify zero or more indirect memory references having a potential aliasing problem, wherein in a case in which the zero or more indirect memory references comprise at least a first indirect memory reference, the first indirect memory reference is in the set of indirect memory references; and responsive to a determination that the zero or more indirect memory references comprise at least one indirect memory reference, generating a report identifying at least one location in the source code associated with the at least one indirect memory reference and storing the report.