@ -4,6 +4,7 @@ var categories = require('./categories')
varcommon=require('./staticAnalysisCommon')
varfcallGraph=require('./functionCallGraph')
varAbstractAst=require('./abstractAstView')
varyo=require('yo-yo')
functionchecksEffectsInteraction(){
this.abstractAst=newAbstractAst()
@ -36,7 +37,7 @@ function report (contracts, multipleContractsWithSameName) {
varcomments=(hasModifiers)?'<br/><i>Note:</i> Modifiers are currently not considered by this static analysis.':''
comments+=(multipleContractsWithSameName)?'<br/><i>Note:</i> Import aliases are currently not supported by this static analysis.':''
warnings.push({
warning:`Potential Violation of Checks-Effects-Interaction pattern in <i>${funcName}</i>: Could potentially lead to re-entrancy vulnerability. ${comments}`,
warning:yo`<span>Potential Violation of Checks-Effects-Interaction pattern in <i>${funcName}</i>: Could potentially lead to re-entrancy vulnerability. ${comments}</span>`,
warning:`<i>${funcName}</i>: Variables have very similar names <i>${sim.var1}</i> and <i>${sim.var2}<i>. ${comments}`,
warning:yo`<span><i>${funcName}</i>: Variables have very similar names <i>${sim.var1}</i> and <i>${sim.var2}</i>. ${hasModifiersComments}${multipleContractsWithSameNameComments}</span>`,
warning:'Use of "this" for local functions: Never use this to call functions in the same contract, it only consumes more gas than normal local calls.',
warning:yo`<span>Use of "this" for local functions: Never use this to call functions in the same contract, it only consumes more gas than normal local calls.</span>`,