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) 按年份列出的引文