Add source context to exceptions and analyzer warnings