本文重点介绍了理解3种数据流分析的含义,如何设计类似的算法,如何优化,理解种数据流分析的共性与区别,理解种数据流分析的共性与区别。本文来自简书,由火龙果软件Anna编辑、推荐。mayanalysis:输出可能正确的信息(需做over-approximation优化,才能成为Safe-approximation安全的近似,可以有误报-completeness),注意大多数静态分析都是mayanalysismustanalysis:输出必须正确的信息(需做under-approximation优化,