肉冻

线性关系分析中加宽与加速的结合。线性关系分析是最早的,但仍然是在无限格中工作的最强大的抽象解释之一。因此,它利用加宽算子来加强不动点计算的收敛性。由于加宽而产生的近似值可以通过延迟加宽的应用来任意细化,但随着延迟的增加,分析很快变得过于昂贵。以前提高加宽精度的尝试并不完全令人满意,因为它们都不能保证提高结果的精度,但它们会增加分析的成本。本文研究了线性关系分析的一种改进,在可能的情况下计算循环的精确(抽象)效应。该技术与加宽法完全兼容,无论何时应用,都能提高分析的精度和性能。


zbMATH参考文献(参考 23篇文章 引用,1标准件)

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. Amato,Gianluca;Di Nardo Di Maio,Simone;Meo,Maria Chiara;Scozzari,Francesca:模板抽象域上的下降链和缩小(2018)
  2. Boutonet,Rémy;Halbwachs,Nicolas:通过超越递减序列的抽象解释改进程序分析的结果(2018)
  3. Schulze Frielinghaus,Stefan;Seidl,Helmut;Vogler,Ralf:强制终止过程间分析(2018)
  4. Frohn,F.;Naaf,M.;Hensel,J.;Brockschmidt,M.;Giesl,J.:整数程序的运行时下限(2016年)
  5. Roux,Pierre;Garoche,Pierre Loïc:实际政策迭代。静态分析中政策迭代的实际应用:二次案例(2015)
  6. Maisonneuve,Vivien;Hermant,Olivier;Irigoin,François:使用变压器计算不变量:实验可伸缩性和准确性(2014)
  7. Bouissou,Olivier;Seladji,Yassamin;Chapoutot,Alexandre:数值程序分析中抽象不动点计算的加速(2012)
  8. Brauer,Jörg;King,Andy:无量词消除的传递函数合成(2012)
  9. Gawlitza,Thomas Martin;Monniaux,David:简洁表示的控制流图中通过策略迭代生成不变量(2012)
  10. Maisonneuve,Vivien:控制节点分裂的凸不变精化:启发式方法(2012)
  11. Massé,Damien:通过政策迭代证明终止(2012)
  12. Prakken,Henry:对当前两种形式论证趋势的思考(2012)
  13. Schrammel,Peter;Jeannet,Bertrand:将抽象加速应用于反应式程序的(co-)可达性分析(2012)
  14. Falke,Stephan;Kapur,Deepak;Sinz,Carsten:使用编译器中间语言的C程序终止分析(2011)
  15. Gawlitza,Thomas Martin;Monniaux,David:通过SMT解决改进策略(2011)
  16. Lakhdar Chaouch,Lies;Jeannet,Bertrand;Girault,Alain:具有复杂控制图的程序的阈值加宽(2011)
  17. Peña,Ricardo;Delgado Muñoz,Agustin D.:函数语言中的大小不变量和排序函数综合(2011)ioport公司
  18. Alias,Christophe;Dart,Alain;Feautrier,Paul;Gonnard,Laure:流程图程序的多维排名、程序终止和复杂性界限(2010)
  19. Bouissou,Olivier;Seladji,Yassamin;Chapoutot,Alexandre:用数值加速方法进行的抽象不动点计算(2010)
  20. Bozga,Marius;Iosif,Radu;Perarnau,Swann:定量分离逻辑和列表程序(2010)