Diagnosing aliasing violations in a partial program view | AMiner