PAGAI公司 swMATH ID: 13095 软件作者： 朱利安·亨利、大卫·莫尼奥、马蒂厄·莫伊 描述： PAGAI：路径敏感静态分析仪。我们描述了PAGAI的设计和实现，PAGAI是一种在LLVM编译器基础设施上工作的新型静态分析器，它计算被分析程序的数值变量的归纳不变量。PAGAI实现了各种最先进的算法，将抽象解释和决策过程（SMT求解）相结合，专注于控制流图内部路径的区分，同时避免系统的指数枚举。它在使用的抽象域、迭代算法和决策过程中是参数化的。我们比较了分析算法和抽象域的各种组合的时间和精度，并在个人基准和广泛可用的GNU程序上进行了大量实验。 主页： http://www.sciencedirect.com/science/article/pii/S1571066112000734 相关软件： 停机坪;PPL（公私合营）;阿司匹克;高超声速;PHAVer公司;IKOS公司;SeaHorn公司;萨维亚;ASTREE公司;4钛2;波尔科;efm工具;多晶的;Verimag多面体库;CIL公司;vZ（虚拟Z）;盒;不明飞行物;悉尼商学院;FOCI公司 引用于： 10文件 全部的 前5名21位作者引用 三 大卫·莫尼奥（David P.Monniaux）。 三 埃纳州扎法内拉 1 亚历克斯·艾肯 1 文森佐·阿塞里 1 安娜·贝基 1 陈丽倩 1 奥利维尔·赫曼特 1 弗朗索瓦州伊里冈 1 姜佳红 1 埃戈尔·乔治·卡彭科夫 1 费雯·梅森纽夫 1 亚历山大·马雷查尔 1 伊莎贝拉·马斯特罗埃尼 1 索莱内·米利亚兹 1 阿迪蒂亚·维塔尔·诺里 1 迈克尔·佩林 1 大卫·皮哈迪 1 拉胡尔·沙尔马 1 王，季 1 菲利普·温德勒 1 吴雪光 连载1篇 1 信息与计算 在4个字段中引用 9 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 凸和离散几何（52至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文