作者回复: 我会在答疑部分把数据流分析框架的理论模型再梳理一遍。

是求最小上界，还是最大下界，主要是看如何比较半序集中元素的大小。

国外有的人，把数据流框架定义得比较严格，比如Top跟所有的元素x的meet运算，结果都是x；Bottom跟所有元素x的meet运算，结果都是Bottom。按照这个定义，我们文稿中常量传播的Bottom和Top就要互换。

但也有的人，不觉得必须遵守这个说法，只要有一套规则能计算meet后的结果就行。所以能看到不同的文献，采用不同的叙述方式。