围裙

停机坪:静态分析的数值抽象域库。本文描述了一个免费提供的库,通过抽象解释对程序的数值变量进行静态分析。它的目标有三个:在一个统一的API下为分析实现者提供现成的数值抽象,通过提供一个集成和比较的平台来鼓励对数值抽象领域的研究,并提供教学和演示工具来传播关于抽象解释的知识。


zbMATH中的参考文献(参考文献67篇文章)

显示第1到第20个结果,共67个。
按年份排序(引用)
  1. 贝基,安娜;Zaffanella,Enea:PPLite:NNC多面体零开销编码(2020)
  2. 查德哈里,阿齐姆;罗宾斯,埃德;金,安迪:逐步关闭八角形(2019)
  3. 迪莫夫斯基,亚历山达S。;布拉布兰德,克劳斯;Wąsowski,Andrzej:为提升分析寻找合适的可变性抽象(2019)
  4. 豪,雅各布·M。;国王,安迪;Simon,Axel:每个不等式两变量系统的增量闭包(2019)
  5. 阿卜杜勒拉乌夫;分钟é, Antoine:使用抽象马尔可夫链对通信协议进行定量静态分析(2019)
  6. 左罗提克,余尼古拉。;Bastrakov,Sergei I.:双描述方法中的两个图形测试变体(2019)
  7. 布托内特,Ré我的;Halbwachs,Nicolas:通过超越递减序列的抽象解释改进程序分析的结果(2018)
  8. 嗨,基宏;哦,哈珠;Yang,Hongseok:从静态分析生成的标记数据中学习八角形和上下文敏感度的分析策略(2018)
  9. 布莱兹,桑德琳;Bü赫勒,大卫;Yakobowski,Boris:《通过状态和价值抽象构建抽象解释器》(2017)
  10. 波波,文森特;查罗,伊曼纽;Le Gall,Tristan:使用符号传感器对通信过程进行静态分析(2017)
  11. 丹,安德烈;米什曼,尤里;马丁·维切夫;Yahav,Eran:放松记忆模型下验证的有效抽象(2017)
  12. 蒋佳红;陈丽倩;吴学光;王吉:抽象域与SMT相结合的分块抽象解释(2017)
  13. 刘江超;Rival,Xavier:基于非连续分区的数组内容静态分析(2017)
  14. 马格伦,维克多;康斯坦丁尼德,乔治;Donaldson,Alastair:使用半定规划的认证舍入误差界(2017)
  15. 三月é查尔,亚历山德拉;蒙尼亚,大卫;Périn,Michaël: 基于参数线性规划的多面体可伸缩极小化算子(2017)
  16. 三月é查尔,亚历山德拉;Périn,Michaël: 通过光线追踪有效消除多面体中的冗余(2017)
  17. 莫纳特,拉斐ël;分钟é, Antoine:使用关系干扰抽象对并发程序的精确线程模块化抽象解释(2017)
  18. 辛格,加甘迪普;Pü舍尔,马库斯;Vechev,Martin:快速多面体抽象域(2017)
  19. 城市,卡特里娜;分钟é, Antoine:通过抽象解释证明时间属性的排序函数推论(2017)
  20. 弗罗恩。;纳夫,M。;亨塞尔,J。;布罗克施密特,M。;Giesl,J.:整数程序的运行时下限(2016)