埃克塞尔·西蒙;国王，安迪 驯服整数运算的包装。 （英语） Zbl 1211.68102号 Nielson、Hanne Riis（编辑）等，《静态分析》。2007年8月22日至24日，第14届国际研讨会，SAS，丹麦，Kongens Lyngby。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74060-5/pbk）。计算机科学课堂讲稿4634121-136（2007）。 概要：程序中的变量通常被限制在固定数量的位，需要更多位的结果被截断。由于使用了32位和64位变量，意外溢出很少见。然而，合理的静态分析必须说明无符号整数和有符号整数之间的溢出计算和转换；后者仍然是微小编程错误的常见来源。本文提出了一种基于多面体分析的计算轻量级解决方案，在评估大多数（尤其是线性）赋值时无需检查包装，而不是用建模二者补码包装行为的低级细节污染分析。关于整个系列，请参见[Zbl 1123.68008号]. 引用于9文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：CSSV公司;ASTREE公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Simon}和\textit{A.King}，莱克特。注释计算。科学。4634，121--136（2007；Zbl 1211.68102） 全文： 内政部 链接