{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,6,24]]，“日期-时间”：“2024-06-24T07:14:52Z”，“时间戳”：1719213292913}，“引用-计数”：16，“发布者”：“威利”，“问题”：“11”，“许可证”：[{“开始”：{:“日期-零件”：[2017,3,8]]，7-03-08T00:00:00Z“，“时间戳”：148893120000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://\/onlinelibrary.wiley.com/termsAndConditions#vor”}]，“funder”：[{“DOI”：“10.13039\/501100003725”，“name”：“韩国国家研究基金会”，“DOI-asserted-by”：“publisher”，“award”：[“21A2015113068”]}，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“短集装箱”：[“Softw Pract Exp”]，“published-print”：{“date-parts”：[[2017,11]]}，“abstract”：“摘要<\/jats:title>我们提出了一种实用的技术，通过选择性地应用上下文敏感度和八角关系域来实现可伸缩的精确全局静态分析。为了进行精确分析，上下文敏感度和关系分析是关键属性，但实际上很难将两者结合起来。我们的方法只有在分析可能提高解决给定查询的精度时才启用这些精度改进功能。该指南来自于2010年前的影响分析，该分析估计了完全上下文敏感和关系八角形分析的影响。我们设计了一个具有成本效益的2010年前分析，并将该方法应用于对完整C的实际八边形分析中。实验结果表明，与语法启发式的部分关系八边形相比，我们的方法证明了多8倍的查询，同时节省了73.1%的时间成本。版权所有\u00a9 2017 John Wiley&Sons，Ltd上下文\u2010敏感度和八角域选择性结合用于可扩展和精确的全局静态分析“]，”前缀“：“10.1002”，“卷”：“47”，“作者”：[{“给定”：“Kihong”，“家族”：“Heo”，“序列”：“第一”，“从属关系”：[[{”名称“：“韩国首尔国立大学”}]}，{“ORCID”：“http://ORCID.org\/0000-002-1900-7654”，“authenticated-orcid“：false，”given“：”Hakjoo“，”family“：”Oh“，”sequence“：”additional“，”affiliation“：[{“name”：“Korea University Seoul Korea”}]}，{“given”：“Kwangkeun”，“family”：“Yi”，“sequence”：“additional”，“affiliance”：[{'name“：”Seoul National University Koreal“}]}]，“member”：“311”，“published on”：{“date-parts”：[2017,3,8]]}“reference”：[{“键”：“e_1_2_12_2_1“，“首页”：“189”，“卷时间”：“程序流分析：理论与应用”，“作者”：“Sharir M”，“年份”：“1981”}，{“键”：“e_1_i_12_12_3_1”，”非结构化“：”ShiversOG.控制\u2010高阶语言的流分析\u2010或\u2010驯化lambda。CMU Pittsburgh 1991博士论文publisher“，”DOI“：”10.1007\/s10990-006-8609-1“}，{“key”：“e_1_2_12_5_1”，“DOI-asserted-by”：“publisher”，”DOI:“10.1145\/266356.2594318”}，“{”key“：”e_1_i_12_6_1“，“unstructured”：“Sparrow.http:/\/ropas.snu.ac.kr \/Sparrow[2017年2月16日访问]。”}y“：”publisher“，”DOI“：”10.1145 \/2254064.2254092“}，{”key“：”e_1_2_12_8_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/942580.807070”}，{“key”：“e_1_i_12_12~9_1”，”doi-assert-by“：”publisher“，”doi“：”10.1007\/978-3642-54833-8_27“}，”{“密钥”：“e_1_2_12_10_1”、“doi-aserted-by“”：“publisher”，“doi”：”10.1145\/512950.512973“}”，{”key“：”e_1_ 2_12_11_1“，”首页“：”103“，”文章标题“：”抽象解释框架“，”volume“：”30“，”author“：”Cousot P“，”year“：”1992“，”journal-title“：”journal of Logic and Computation“}，{“key”：“e_1_2_12_12_1”，“unstructured”：“JheeYo JinM JungY KimD KongS LeeH OhH ParkD YiK（JheeYo JinM郑金刚）。抽象解释+不纯催化剂：我们的麻雀经验。在旧金山2008年30年抽象解释研讨会上的演讲。http://\/ropas.snu.ac.kr \/~kwang\/paper\/30yai-08.pdf。“}，{”key“：”e_1_2_12_13_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-18275-4_25”}，“key”：“e_1_i_14_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/996841.996869“}，{“键”：“e_1_2_12_16_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1145\/2103656.2103693“}，{”key“：”e_1_2_12_17_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.entcs.2012.09.004”}]，“container-title”：[“Software:Practice and Experience”]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles \/10.002%2Fspe..2493“，”内容类型“：”应用程序\/pdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/onlinelibrary.wiley.com/doi\/pdf\/10002\/spe.2493”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-plication”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,9,29]]，“date-time”：”2023-09-29T12:06:58Z“，”timestamp“：1695989218000}，“分数”：1，“resource“：{”primary”：{“URL”：“https:\/\/onlinelibrary.wiley.com/doi\/101002\/spe.2493”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{date-parts“：[[2017,3,8]]}，”references-count“：16，”journal-issue“：{issue”：“11”，“published-print”：{data-parts”：[2017,11]]}}、“alternative-id”：[“10.1002\/spe.2493”]，“URL”：“http://\/dx.doi.org\/10.1002\/spe.4493”，“存档“：[”Portico“]，”关系“：{}，”ISSN“：[“0038-0644”，“1097-024X”]，”ISSN-type“：[{”value“：”0038-0644'，“type”：“print”}，{”value“：”1097-024 X“，”type“:”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2017,3,8]]}}}}