有哪些信誉好的足球投注网站- 1、本文档共9页，可阅读全部内容。
- 2、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
基于SAT求解的面向对象程序类型分析.pdf
第36卷第1期 计算机科学 V01．36No．1
2009年1月 Science Jan．2009
Computer
基于SAT求解的面向对象程序类型分析
曹瑕徐宝文
(东南大学计算机科学与工程学院 南京210096)(江苏软件质量研究所 南京210096)
摘要类型分析是面向对象程序分析中的重要环节，精确的类型分析能够提高其它程序分析的精度。由于传统精
确分析方法固有的高复杂性，现有的类型分析大都使用粗糙的分析方法。提出了一种基于SAT求解的面向对象程序
类型分析方法。该方法用命题逻辑表示类型在变量间的传递关系，将程序抽象成命题公式，并使用高效的SAT求解
器求解，从而获得变量运行时的类型集合。该方法是流敏感的，并且具有良好的伸缩性，既可以进行快速但精度低的
上下文不敏感分析，也可以进行较慢但精度高的上下文敏感分析。
关键词命题公式可满足性验证，类型分析，程序分析，面向对象程序
BasedOilSATSolver
Object-orientedProgramTypeAnalysis
CAO XUBao-wen
Jing
8L
of Science 210096，China)
(DepartmentComputer Engineering。SoutheastUniversity，Naming
InstituteofSoftware 210096，China)
(Jiangsu Quality，Naming
im—
Abstract an rolein will
Typeanalysis importantobject-orientedprogramanalysis．Accuratetypeanalysis
plays
the 0fother totheinherent oftraditional
proveprecisionprogramanalyses．However，duehighcomplexity typeanaly-
make butcoarse anew method0f
sis。peoplegenerallyrapid analyses．Thispaperpresentedtypeanalysis object—oriented
which variablesthe method，
basedonSATsolver，in weshowtransferrelationshipamong propositionlogic
program by
run-
into
文档评论（0）