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 one indirect memory reference, the at least one 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.