Proj THUDBFuzz Paper Reading: 北京大学软件分析课程2019，熊英飞, 03 数据流分析II

复习

1. 以下函数是否是单调的？
   1. f(x)=x-1:T
   2. 处处可导，且导数处处不为0的函数
      • 例子：f(x)=1/x，x不为0（因为定义上x就不为0，所以不必考虑0这个点）
   3. 求集合x的补集
      • 若以集合间被包含的关系作为偏序，则是
   4. f(x)=g(h(x))
      • 单调，分别讨论gh增减性相同和增减性相异两种情况
   5. f(x,y) = (g(x), h(y))
      • 不一定
   6. f(x,y)=x∩y，已知x,y∈S，(S，∩）是和偏序关系对应的半格
      • 若x1≤x2，y1≤y2，f(x1,y1)=x1∩y1，f(x2,y2)=x2∩y2，则x1∩x2=x1，y1∩y2=y1，f(x1,y1)∩f(x2,y2)=(x1∩y1)∩(y2∩x2)=(x1∩y1)∩x2=(y2∩x1)∩x2=y1∩x1=f(x1,y1)，单调

内容