{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,10,17]]，“日期时间”：“2023-10-17T17:58:46Z”，“时间戳”：1697565526955}，“发布者位置”：“Cham”，“引用计数”：15，“发布商”：“Springer International Publishing”，“isbn-type”：[{“值”：“9783319336299”，“类型”：”打印“}，{“值”：“9783319336305”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2016,1,1]]，“date-time”：“2016-01-01T00:00:00Z”，“timestamp”：1451606400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}，{“start”：{“date-parts”：[2016年1月1日]，“日期-时间”：“16-01T00:00:00Z“，”timestamp“：1451606400000}，”content-version“：”vor“，“延迟天数”：0，“URL”：“http:\/\/wspringer.com\/tdm”｝]，“内容域”：｛“域”：[“link.springer.com”]，“交叉标记限制”：false｝，“短容器标题”：[]，“已发布的印刷品”：｛“日期部分”：[[2016]]｝，“DOI”：“10.1007\/978-3-319-33630-5_15”，“类型”：“书籍章节”，“已创建”：｛“日期部分”：[[2016,5,10]，“日期时间”：“2016-05-10T08:10:10 2Z英寸，“时间戳”：1462867812000}，“页面”：“211-226”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源代码”：“Crossref”、“is-referenced-by-count”：7，“标题”：[“验证潜在漏洞的自动源代码检测”]，“前缀”：“10.1007”，”作者：[{“given”：“Hongzhe”，“family”：“李”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Jaesang”，“family”：“Oh”，“sequence”：“additional”，“affiliation”：[]{“给定”：“Hakjoo”，“家庭”：“Oh”，”sequence“：“additive”，“filiation“：[]neneneep，{”given“：”Heejo“，”family“：”Lee“，”segment“：”additional“，”affiliance“：[]}]，“member”：“297”，“published on”：{“date-parts”：[[2016,5,11]]}，“reference”：[{“key”：“15_CR1”，“unstructured”：“MITRE group.：Common Vulnerabilities and Exposures（CVE）。\n https:\/\/CVE.MITRE.org\/”}，{“key”：“15_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Sen，K.，Marinov，D.，Agha，G.：Cute：C的一个协调单元测试引擎。In:ACM软件工程基础国际研讨会，第263\u2013272（2005）页”，“doi”：“10.21236\/ADA482657”}，{“key”：“15_CR3”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”213“，”doi“：”10.1007\/3-540-45937-5_16“，”volume-title“：”编译器构造“，”author“：”GC Necula“，”year“2002”，“unstructured”：“Necula，G.C.，McPeak，S.，Rahul，S.P.，Weimer，W.：CIL：C程序分析和转换的中间语言和工具。收录：Nigel Horspool，R.（编辑）CC 2002。LNCS，第2304卷，第213\u2013228页。Springer，Heidelberg（2002）“}，{“key”：“15_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Perl，H.，Dechand，S.，Smith，M.，Arp，D.，Yamaguchi，F.，Rieck，K.，Acar，Y.：Vccfinder:发现开源项目中的潜在漏洞以协助代码审计。摘自：第22届ACM CCS会议记录，pp.426\u2013437（2015）”，“doi”：“10.1145\/2810103.2813604“}，{“key”：“15_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Yamaguchi，F.，Maier，A.，Gascon，H.，Rieck，K.：污染型漏洞搜索模式的自动推断。摘自：IEEE安全与隐私研讨会，pp.797\u2013812（2015）”，“doi”：“10.1109\/SP.2015.54”}，}“key”：“15-CR6”，“doi-asserted-by”crossref“，”unstructured“：”Yamaguchi，F.，Golde，N.，Arp，D.，Rieck，K.：使用代码属性图建模和发现漏洞。摘自：IEEE安全与隐私研讨会，第590\u2013604（2014）页，“DOI”：“10.1109\/SP.2014.44”}，{“问题”：“6”，“密钥”：“15_CR7”，“DOI-asserted-by”：“发布者”，“首页”：“475”，“DOI:“10.1145\/266356.2594318”，“卷”：“49”，“作者”：“H Oh”，“年份”：“2014”，“非结构化”：“Oh，H.、Lee，W.、Heo，K.、Yang，H.，Yi，K.：影响预分析指导下的选择性语境敏感性。ACM SIGPLAN非。49（6），475\u2013484（2014）“，“新闻标题”：“ACM SIGPLAN否。“}，{”issue“：”6“，”key“：”15_CR8“，”doi-asserted-by“：”publisher“，”first page“：“1900”，“doi”：“10.1002\/cpe.3532”，“volume”：“28”，“author”：“H Li”，“year”：“2015”，“unstructured”：“Li，H.，Kwon，Hjournal-title“：”实践。体验并发计算。“｝，｛”key“：”15_CR9“，”非结构化“：”Wheeler，D.:Flawfinder（2011）。\n http://www.dwheeler.com\/Flawfinder“｝，｛”key“：”15_CR10“，”doi asserted by“：”crossref“，”非结构化“：”Kim，M.，Kim，Y.，Jang，Y.：嵌入式软件的混合测试工业应用：案例研究。摘自：IEEE软件测试、验证和验证国际会议，第390\u2013399页（2012）“，”DOI“：”10.1109\/ICST.2012.119“}，{“key”：“15_CR11”，“unstructured”：“Cadar，C.、Dunbar，D.、Engler，D.：Klee：为复杂系统程序自动生成高覆盖率测试。收录于：USENIX操作系统设计与实现研讨会，第8卷，第209\u2013224页（2008）“}，{“key”：“15_CR12”，“unstructured”：“Zhang，D.、Liu，D.、Lei，Y.、Kung，D.、Csallner，C.、Wang，W.：使用基于跟踪的测试检测C程序中的漏洞。在：IEEE \/IFIP可靠系统和网络国际会议，第241\u2013250（2010）页“}，{“key”：“15_CR13”，“unstructured”：“Di Paola，S.：Sinks:Dom Xss测试用例Wiki项目。\n http://code.google.com/p/domxsswiki\/Wiki\/Sinks”}，}“issue”：“10”，“key“：”15_CR14“，”第一页“：”89“，”卷“：”45“，”作者“T Boland”，“年份”：“2012年”，“非结构化”：“Boland，T.，Black，P.E.：Juliet 1.1 C/C++和Java测试套件。J.计算。45（10），89\u201390（2012）“，“新闻标题”：《计算杂志》。“}，{”key“：”15_CR15“，”doi-asserted-by“：”crossref“，”unstructured“：”Yamaguchi，F.，Wressneger，C.，Gascon，H.，Rieck，K.：Chucky:暴露源代码中缺少的检查以发现漏洞。in:ACM CCS，pp.499\u2013510（2013）“，”doi“：”10.1145\/2508859.2516665“}]，”container-title“：[”ICT系统安全和隐私保护“，”IFIP Advances in Information and Communication Technology“]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-33630-5_15”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2020,5,13]]，“date-time”：”2020-05-13T00:04:30Z“，”timestamp“：1589328270000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com/10.1007\/978-3-319-33630-5_15“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2016]]}，《ISBN》：[“9783319336299”，“9783336305”]，“references-count”：15，“URL”：“http://\/dx.doi”org \/10.1007\/978-3-319-33630-5_15“，”关系“：{}，”ISSN“：[”1868-4238“，”1868-422X“]，”issn-type“：[{”value“：“1868-4238”，“type”：“print”}，{”value“：”1868-4220X“，”type“:”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2016]]}，“assertion”：[{”value：“2016年5月11日”，“order”：1，“name”：“first_online”，“label”：“first online”，”group“：{”name“：”ChapterHistory“，”label“：”章节历史}}，{“值”：此内容已提供给所有人。“，”name“：”free“，”label“：”free to read“}]}}”