{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T18:46:28Z","timestamp":1761417988034,"version":"3.37.3"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T00:00:00Z","timestamp":1711929600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T00:00:00Z","timestamp":1711929600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T00:00:00Z","timestamp":1711929600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"crossref","award":["2017M3C4A7068177","2017R1A2B3012020","2022R1A2C200366011","2021R1A5A1021944"],"award-info":[{"award-number":["2017M3C4A7068177","2017R1A2B3012020","2022R1A2C200366011","2021R1A5A1021944"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Institute for Information & Communications Technology Promotion (IITP) funded by the Korea Government","award":["2022-0-00460","2022-0-00688","2022-0-01199"],"award-info":[{"award-number":["2022-0-00460","2022-0-00688","2022-0-01199"]}]},{"DOI":"10.13039\/100004358","name":"Samsung","doi-asserted-by":"publisher","award":["G01210570"],"award-info":[{"award-number":["G01210570"]}],"id":[{"id":"10.13039\/100004358","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2024,4]]},"DOI":"10.1109\/tse.2024.3373239","type":"journal-article","created":{"date-parts":[[2024,3,5]],"date-time":"2024-03-05T19:07:07Z","timestamp":1709665627000},"page":"979-994","source":"Crossref","is-referenced-by-count":2,"title":["An Empirical Study of JVMs\u2019 Behaviors on Erroneous JNI Interoperations"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5386-2411","authenticated-orcid":false,"given":"Sungjae","family":"Hwang","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Sungkyunkwan University, Suwon, South Korea"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7107-5590","authenticated-orcid":false,"given":"Sungho","family":"Lee","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Chungnam National University, Daejeon, South Korea"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0019-9772","authenticated-orcid":false,"given":"Sukyoung","family":"Ryu","sequence":"additional","affiliation":[{"name":"School of Computing, KAIST, Daejeon, South Korea"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Java SE HotSpot at a glance"},{"key":"ref2","article-title":"OpenJ9"},{"key":"ref3","article-title":"Azul Zing"},{"key":"ref4","article-title":"GraalVM"},{"key":"ref5","article-title":"Java SE documentation\u2014JNI design overview"},{"key":"ref6","article-title":"Troubleshooting: JNI checklist"},{"key":"ref7","article-title":"The -Xcheck:jni option"},{"key":"ref8","article-title":"Java SE documentation\u2014JNI functions"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00151"},{"key":"ref10","article-title":"Android runtime (ART) and Dalvik"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"ref12","article-title":"The Z3 theorem prover"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"author":"Hwang","key":"ref14","article-title":"JNI specification expressed in our DSL"},{"author":"Hwang","key":"ref15","article-title":"Explanation of refinements"},{"key":"ref16","article-title":"Java SE documentation\u2014JNI types and data structures"},{"key":"ref17","article-title":"Docker"},{"key":"ref18","article-title":"JNI tips"},{"key":"ref19","article-title":"2021 Java technology report"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ieeestd.2008.4610935"},{"key":"ref21","article-title":"Buffer overflow"},{"author":"Hwang","key":"ref22","article-title":"A study of unspecified cases in the JNI specification"},{"key":"ref23","article-title":"JSON-RPC API"},{"key":"ref24","first-page":"647","article-title":"JISET: JavaScript IR-based semantics extraction toolchain","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng. (ASE)","author":"Park","year":"2020"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/331963.331965"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2003.1319081"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00127"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025011624925"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653716"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17164-2_9"},{"key":"ref32","first-page":"106","article-title":"Safe Java native interface","volume-title":"Proc. IEEE Int. Symp. Secure Softw. Eng.","volume":"97","author":"Tan","year":"2006"},{"key":"ref33","first-page":"365","article-title":"An empirical security study of the native code in the JDK","volume-title":"Proc. USENIX Secur. Symp.","author":"Tan","year":"2008"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2017.40"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243835"},{"key":"ref36","first-page":"127","article-title":"Broadening horizons of multilingual static analysis: Semantic summary extraction from C code for JNI program analysis","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng. (ASE)","author":"Lee","year":"2020"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3355048"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00015"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00083"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24365"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1023\/B:AUSE.0000038938.10589.b9"},{"key":"ref42","first-page":"345","article-title":"Automatically detecting error handling bugs using error specifications","volume-title":"Proc. 25th USENIX Secur. Symp. (USENIX Secur.)","author":"Jana","year":"2016"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/566171.566191"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10146-1"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70389-3_2"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10504688\/10460136.pdf?arnumber=10460136","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T17:28:49Z","timestamp":1713461329000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10460136\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4]]},"references-count":46,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tse.2024.3373239","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2024,4]]}}}