Hi there, Suppose I have my runOnFunction like this - bool runOnFunction(Function &F) { bool change=false; myHelpingFunction1(); myHelpingFunction2(); myHelpingFunction3(); myHelpingFunction4(); return change; } Now I want to do availability analysis in between 'myHelpingFunction2' and 'myHelpingFunction3'. So how to do that? and where will I find the analysis results? regards, Chayan