{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,28]],"date-time":"2026-10-28T16:52:57Z","timestamp":1793206377524,"version":"4.5.0"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100018867","name":"Heinz Nixdorf Stiftung","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100018867","id-type":"DOI","asserted-by":"publisher"}]},{"name":"BMBF"},{"name":"DFG project RUNSECURE"},{"name":"NRW Research Training Group"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2022,2,1]]},"DOI":"10.1109\/tse.2020.2999534","type":"journal-article","created":{"date-parts":[[2020,6,2]],"date-time":"2020-06-02T20:50:22Z","timestamp":1591131022000},"page":"678-690","source":"Crossref","is-referenced-by-count":13,"title":["Explaining Static Analysis With Rule Graphs"],"prefix":"10.1109","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3146-7968","authenticated-orcid":false,"given":"Lisa Nguyen Quang","family":"Do","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3470-3647","authenticated-orcid":false,"given":"Eric","family":"Bodden","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","first-page":"10:1","article-title":"CrySL: An extensible approach to validating the correct usage of cryptographic APIs","volume-title":"Proc. 32nd Eur. Conf. Object-Oriented Program.","author":"Kr\u00fcger"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594299"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17465-1_22"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3133923"},{"key":"ref5","first-page":"22:1","article-title":"Boomerang: Demand-driven flow- and context-sensitive pointer analysis for java","volume-title":"Proc. 30th Eur. Conf. Object-Oriented Program.","author":"Sp\u00e4th"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/567067.567084"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092705"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606613"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606583"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970347"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1390817.1390819"},{"key":"ref12","article-title":"CWE-89: Improper neutralization of special elements used in an SQL command (\u2019SQL injection\u2019)","year":"2019"},{"key":"ref13","article-title":"CWE-601: URL redirection to untrusted site (\u2019open redirect\u2019)","year":"2019"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1201\/9780849332517"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786851"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368135"},{"key":"ref17","article-title":"Codesonar home page","year":"2019"},{"key":"ref18","article-title":"Fortify home page","author":"Software","year":"2019"},{"key":"ref19","article-title":"Source code of Mudarri","author":"Nguyen Quang Do","year":"2019"},{"key":"ref20","first-page":"214","article-title":"Soot: A java bytecode optimization framework","volume-title":"Proc. Conf. Centre Advanced Studies Collaborative Res.","author":"Vall"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46423-9_2"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2259051.2259052"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635878"},{"key":"ref25","article-title":"Intellij home page","year":"2019"},{"key":"ref26","volume-title":"Data Mining, Fourth Edition: Practical Machine Learning Tools and Techniques","author":"Witten","year":"2016"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2017.160"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ISESE.2004.1334904"},{"issue":"3","key":"ref29","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1023\/A:1026586415054","article-title":"Using students as subjects a comparative study of students and professionals in lead-time impact assessment","volume":"5","author":"H\u00f6st","year":"2000","journal-title":"Empir. Softw. Eng."},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.82"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1414004.1414055"},{"key":"ref32","article-title":"Balance","year":"2019"},{"key":"ref33","article-title":"Sparkleshare","year":"2019"},{"issue":"12","key":"ref34","first-page":"46","article-title":"The one number you need to grow","volume":"81","author":"Reichheld","year":"2003","journal-title":"Harvard Business Rev."},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022669731459"},{"key":"ref36","article-title":"Machine learning benchmarks and random forest regression","author":"Segal","year":"2004","journal-title":"UCSF: Center for Bioinformatics and Molecular Biostatistics"},{"key":"ref37","article-title":"Triaging checklists: A substitute for a PhD in static analysis","volume-title":"Evaluation and Usability of Programming Languages and Tools (PLATEAU)","author":"Phang","year":"2009"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810310"},{"key":"ref39","article-title":"Chechmarx home page","year":"2019"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/11547662_15"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.08.042"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2017.18"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2012.63"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774504"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9713735\/09106860.pdf?arnumber=9106860","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T22:37:06Z","timestamp":1704839826000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9106860\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,1]]},"references-count":44,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.2020.2999534","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,2,1]]}}}