In order to determine whether this property holds, the analyser may create a compacted CFG that contains only calls to GetEmailAddress and SendMail.

• 为了确定该特性是否有效，分析器可能产生一个紧密型CFG，它只包含对GetEmailAddress和SendMail的调用。