{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,6,24]]，“日期-时间”：“2024-06-24T07:18:08Z”，“时间戳”：1719213488075}，“引用-计数”：29，“发布者”：“计算机协会（ACM）”，“问题”：“OOPSLA”，“内容-域”：{:“域”：[“dl.ACM.org”]，“交叉标记-严格离子“：真}，“short-container-title”：[“Proc.ACM Program.Lang.”]，“published-print”：{“date-parts”：[[2020,11,13]]}，“abstract”：“我们提出了Graphick，这是一种自动学习基于图形的指针分析启发式的新技术。要在指针分析的精确性和可伸缩性之间取得平衡，需要设计好的分析启发法。例如，由于将上下文敏感性应用于实际程序中的所有方法是不切实际的，因此指针分析通常只在必要时使用启发式方法来使用上下文敏感性。过去的研究表明，利用程序的图形结构是开发具有成本效益的分析启发式的一种很有前途的方法，它推动了“基于图形的启发式”的最新趋势，这种启发式是针对从预先分析中获得的程序的图形表示。尽管很有前景，但手动开发这种启发式方法仍然具有挑战性，需要大量的专业知识和艰苦的努力。在本文中，我们的目标是通过自动学习基于图形的启发式，特别是在没有手工制作的应用程序特定功能的情况下，来减少这一负担。为此，我们提出了一种描述图结构的特征语言和一种在该语言中学习分析启发式的算法。我们在Doop之上实现了Graphick，并使用它学习基于图形的启发式，以实现对象敏感性和堆抽象。评估结果表明，我们的方法是通用的，可以生成高质量的启发式算法。对于这两种情况，学习的启发式与分析专家手动设计的现有最先进的启发式一样具有竞争力<\/jats:p>“，”DOI“：”10.1145\/3428247“，”type“：”journal-article“，”created“：{”date-parts“：[[2020,11,24]]，”date-time“：”2020-11-24T23:40:14Z“，”timestamp“：1606261214000}，”page“：“标题”：[“学习基于图形的指针分析启发式，无需手动创建应用程序特定的功能“]，”前缀“：”10.1145“，”卷“：”4“，”作者“：[{”给定“：”Minseok“，“family”：“Jeon”，“sequence”：“first”，“affiliation”：[{“name”：“Korea University，South Korea”}]}，{”given“：”Myungho“，”family“：”Lee“，”sequence“：”additional“，”affiliance“：[}”name“：”韩国韩国大学“}]}，{“given”：“Hakjoo”，“family”：“Oh”，“sequence”：“additional”，“affiliation”：[{“name”：“Korea University，South Korea”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2020,11,13]]}、“reference”：[[{”key“：”e_1_2_1_1_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/2594291.2594299“}，{“键”：“e_1_2_2_1”，“doi-asserted-by“：”publisher“，”doi“：”10.1145\/106245.1062520“}，{”key“：”e_1_2_3_1“，“doi-assert-by”：“publisher”，“doi”：“10.1145\/3236024.3236079”}，“key”：“e_1_i_2_4_1”，”doi-asserted-by“”：“publisher”，“doi”：”10.145\/3276511“}”，{“doi”：“10.1145\/3236024.3236041”}，{“key”：“e_1_2_6_1”，“doi-asserted-by”：“publisher“，”DOI“：”10.1145\/1993498.1993567“}，{“key”：“e_1_2_7_1”，“DOI-asserted-by”：“publisher”，”DOI:“10.1145\/1926385.1926391”}，“key“：”e_2_2_8_1“，“doiasserted-by“：”publisher“10.1145\/3360574”}，{“key”：“e_1_2_2_10_1”，“DOI-asserted-by”：“publisher”，”DOI“：”10.1145\/566172.566174“}，{“key”：“e_1_2_2_11_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1044834.1044835“}”，{”key“：”e_1_i_2_12_1“，”doi-assert-by“：”publisher“，”doi:“10.1145\/1133981.134018”}，“key“:”e_2_13_1“，5070538“}，{”key“：”e_1_2_2_14_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2594291.2594318“}，{”key“：”e_1_2_2_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2814270.2814309”}，“key”：“e_1_i_2_16_1”，“volume-title”：“带强化学习的快速数值程序分析”，“author”：“Singh Gagandeep”}、{”key“：“e_i_2_17_1”、“doi-assert-by”：“publisher”，”doi“：”10.1561\/2500000014“}，{“键”：“e_1_2_18_1”，“doi-asserted-by“：”publisher“，”doi“：”10.1145\/1926385.1926390“}，{“key”：“e_1_2_19_1”，“doi-assert-by”：“publisher”，”doi:“10.1145\/2594291.2594320”}，“{”key“：”e_1_i_2_20_1“，“unstructured”：“SPECjvm98。1999年发布1.03。标准绩效评估公司（1999）。规范SPECjvm98。1999年发布1.03。标准绩效评估公司（1999）。“}，{”key“：”e_1_2_21_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/TSE.2014.2302311”}，“key”：“e_1_i_2_22_22_1”，“doi-assert-by”：“crossref”，”volume-title“：”使用静态k限制使k对象敏感指针分析更精确“，”author“：”Tan Tian“，”doi“：”10.1007\/978-3662-53413-7_24“}”，{2_2_23_1“，”doi-asserted-by“：”publisher“，“DOI“：”10.1145\/3062341.3062360“}，{”key“：”e_1_2_24_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1145\/1542476.1542486”}，“key”：“e_2_25_1”，“DOI-assert-by”：“publisher”，”DOI“:”10.1145\/1390630.1390658“}”，{/ICSE.2019.00063“}，{”key“：”e_1_2_2_27_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1145\/313460.3134620“}，{“key”：“e_1_2_2_28_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1145\/2594291.2594327”}，“key“：”e_1_i_2_29_1“，”doi-assert-by“：”publisher“，“doi”：“10.145\/2491956.2462185”}]，“container-title”：[“ACM关于编程语言的会议记录”]，“original-title“：[]，”language“：”en“，”链接“：[{”URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3428247“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,1,1]]，”date-time“：“2023-01-01T21:37:49Z”，“timestamp”：1672609069000}，“score”：1，“resource”：{“primary”：“{”URL“：”https:\\/dl.ac m.org\/doi\/10.1145\/3428247“}}”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2020,11,13]]}，”引用计数“：29，”日志发布“：}”问题“：”OOPSLA“，”发布发布“：”日期部分：[[2020,11,13]}}，“alternative-id”：[“10.1145\/3428247”]，“URL”：“http://\/dx.doi.org\/10.1145\/3428147”，“关系”：{}，“ISSN”：[“2475-1421”]，“ISSN-type”：[{“value”：“2475-1221”，“type”:“electronic”}]，“subject“：[]，”published“：{“date-parts”：[[2020,11,13]]}，”assertion“：[{“value”：“2020-11-13”，“order”：2，“name”：“published”，“label”：“published”，“group”：{”name“：”publication_history“，”label“：”publication history“}}]}