max_xbw

摘要： # 从一个例子说起，**任务：给定这样一段代码，假设我们想分析出这段代码中，每个数值型变量和表达式的符号，即正数，负数或0。**此外，还有可能出现两种情况就是：1.我们无法分析出结果，即我们无法确定符号，用(?)表示；2.有些表达式的值并不是一个数字（例如，有可能是个指针）或者在执行的过程中没有被赋值（有可能是因为对于给定的输入，没有执行到，unreachable），用(⊥)表示。因此，对于每一个... 阅读全文