This article will explain why SPDisposeChecker does not show violations for SharePoint 2013 Projects.
SPDisposeChecker is incapable of analyzing .NET 4 assemblies used in SharePoint 2013 solutions. For this reason, Microsoft has removed the download and discourages the use of it.
SPCAF has all memory disposal rules implemented directly and does not require SPDisposeChecker anymore. The 3rd party integration has been removed.