542543544545546547548549550551552
*/ public SideEffectAnalysis getSideEffectAnalysis() { if(!hasSideEffectAnalysis()) { setSideEffectAnalysis( new SideEffectAnalysis( getPointsToAnalysis(), getCallGraph() ) ); } return activeSideEffectAnalysis;