科斯塔

COSTA是一个研究原型,它执行自动程序分析,并且能够推断出关于Java字节码程序的成本和终止信息。该系统接收字节码程序和从资源描述的选择中选择的成本模型作为输入,并尝试绑定程序相对于给定的成本模型的资源消耗。COSTA提供了一些资源的非平凡概念,例如在堆上分配的内存量、执行的字节码指令数量、程序执行的可计费事件(例如发送手机上的文本消息)的数量。在执行成本分析时,COSTA产生一个成本方程系统,它是递推关系的一种扩展形式。为了获得表示上界的这种递推关系的闭合(即,非递归)形式,COSTA包括专用解算器。安!COSTA的一个有趣的特点是它使用了几乎相同的机器来推断代价的上界以证明终止(这也意味着任何资源消耗的有界性)。COSTA Web界面允许用户在一组有代表性的示例上试用该系统,还可以上传自己的字节码程序。由于COSTA的行为可以使用相对较大的选项集进行定制,Web界面提供了两种不同的选项来选择这些选项的值。第一种选择,我们称之为自动,允许用户从不同的可能性中选择分析精度和开销。所有这些,不要求用户理解系统中实现的不同选项及其在分析精度和开销中的含义。第二种选择称为手动,它是针对专家用户的。在那里,用户可以访问所有可用的分析选项,允许对分析器的行为进行细粒度的控制。这些选项中的一些包括是否分析Java标准库,考虑到异常,执行一些预先的A!NALSES,为了将分析结果写入/读取文件,以便在以后的分析中重用它们等。COSTA可以分析Java JE和Java ME的代码,特别是针对MIDP配置文件的移动电话。


ZBMaX中的参考文献(23篇)1标准条款

显示结果1至20的23。
按年份排序(引文
  1. Baillot,帕特里克;巴尔特河,吉尔斯;Dal Lago,UGO:次递归定义的隐式计算复杂性和密码证明的应用(2019)
  2. Hayry,艾曼纽;Payjoux,Romain:面向对象程序的基于类型的复杂性分析(2018)
  3. Nishida,Naoki;维达尔,GeaMnn:一个计算有限SLD树的框架(2015)
  4. Ben Amram,Amir M.;GeimAIM,萨米尔:线性约束环的排序函数(2014)
  5. Babel.,李察;蒙托亚,Antonio Flores;H.Hnle,赖纳:可执行软件模型分析(2014)
  6. 克尔斯滕,Rody;Parisen Toldin,Paolo;范加斯特尔,伯纳德;van Eekelen,马尔科:能源消耗分析的HOLAR逻辑(2014)
  7. 霍夫曼,马丁;罗德里格兹,DulMa:用于摊销堆空间分析的自动类型推断(2013)
  8. 艾伯特,Elvira;阿雷纳斯,Puri;GeimAIM,萨米尔;G·MZ ZAMOLA,米格尔;普埃布拉,GeaMnn:资源消耗边界的自动推断(2012)
  9. Ben Amram,Amir M.;GeimAIM,萨米尔;马苏德,Abu Naser:整数环的终止(2012)
  10. 艾伯特,Elvira;阿雷纳斯,Puri;GeimAIM,萨米尔;普埃布拉,格尔曼:静态成本分析的封闭形式上界(2011)
  11. Broch Johnsen,Enar;WO,奥拉夫;SLaLtTe,鲁道夫;Tapia Tarifa,Silvia Lizeth:参数化并发部署组件的定时模型(2011)
  12. 艾伯特,Elvira;阿雷纳斯,Puri;GeimAIM,萨米尔;Herraiz,以色列;普埃布拉,德国:比较资源分析中的成本函数(2010)
  13. Atkey,罗伯特:用分离逻辑进行摊销资源分析(2010)
  14. 艾伯特,Elvira;阿雷纳斯,Puri;吉纳姆,萨米尔;普埃布拉,格尔曼;扎纳蒂尼,达米诺:资源使用分析及其在资源认证中的应用(2009)伊波尔特
  15. 霍夫曼,马丁;罗德里格兹,DulMa:有效摊销堆空间分析的类型检查(2009)
  16. 艾伯特,Elvira;阿雷纳斯,Puri;GeimAIM,萨米尔;普埃布拉,德语;扎纳蒂尼,达米亚诺:\TraceCSCCOTA:Java字节码的成本和终结分析器的设计与实现(2008)伊波尔特
  17. JAMAIN,阿德里安;手,David J.:矿业监督分类绩效研究:Meta分析调查(2008)
  18. Avron,阿农:非经典否定的非确定性观点(2005)
  19. de巴罗斯E-SILVA,精灵A:临界点定理及其在半线性椭圆问题中的应用(1996)
  20. Romero Fuster,M. C.;Sedikh,V. D.:一个简单凸空间曲线的奇点、零曲率点和顶点的数目(1995)