CheckReturn can check if an analysis function that is supposed to return a value is actually returning the value.  It must be used in conjunction with ChainedAnalyses.
indexing distance between object allocation and last object access.