{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T00:29:59Z","timestamp":1766449799401,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,10]],"date-time":"2022-10-10T00:00:00Z","timestamp":1665360000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Key R&D Program of China","award":["2021YFB2700400"],"award-info":[{"award-number":["2021YFB2700400"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,10]]},"DOI":"10.1145\/3551349.3556910","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Jasmine: A Static Analysis Framework for Spring Core Technologies"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9213-1651","authenticated-orcid":false,"given":"Miao","family":"Chen","sequence":"first","affiliation":[{"name":"Beijing University of Posts and Telecommunications, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5683-5347","authenticated-orcid":false,"given":"Tengfei","family":"Tu","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0532-9783","authenticated-orcid":false,"given":"Hua","family":"Zhang","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7142-9726","authenticated-orcid":false,"given":"Qiaoyan","family":"Wen","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1175-4409","authenticated-orcid":false,"given":"Weihang","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Southern California, United States of America"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"volume-title":"Accessed","year":"2021","key":"e_1_3_2_2_1_1","unstructured":"2021. Aspect-oriented programming. https:\/\/en.wikipedia.org\/wiki\/Aspect-oriented_programming. Accessed July 28, 2021."},{"volume-title":"https:\/\/en.wikipedia.org\/wiki\/Datalog. Accessed","year":"2021","key":"e_1_3_2_2_2_1","unstructured":"2021. Datalog. https:\/\/en.wikipedia.org\/wiki\/Datalog. Accessed July 28, 2021."},{"volume-title":"https:\/\/en.wikipedia.org\/wiki\/Dependency_injection. Accessed","year":"2021","key":"e_1_3_2_2_3_1","unstructured":"2021. Dependency-injection. https:\/\/en.wikipedia.org\/wiki\/Dependency_injection. Accessed July 28, 2021."},{"key":"e_1_3_2_2_4_1","volume-title":"https:\/\/github.com\/halo-dev\/halo. Accessed","author":"Project Halo","year":"2021","unstructured":"2021. Halo Project. https:\/\/github.com\/halo-dev\/halo. Accessed July 28, 2021."},{"volume-title":"jvm-ecosystem-report-2021. https:\/\/snyk.io\/jvm-ecosystem-report-2021\/. Accessed","year":"2021","key":"e_1_3_2_2_5_1","unstructured":"2021. jvm-ecosystem-report-2021. https:\/\/snyk.io\/jvm-ecosystem-report-2021\/. Accessed July 31, 2021."},{"key":"e_1_3_2_2_6_1","volume-title":"https:\/\/github.com\/macrozheng\/mall. Accessed","author":"Project Mall","year":"2021","unstructured":"2021. Mall Project. https:\/\/github.com\/macrozheng\/mall. Accessed July 28, 2021."},{"key":"e_1_3_2_2_7_1","volume-title":"https:\/\/spring.io\/projects\/spring-boot. Accessed","author":"Boot Spring","year":"2021","unstructured":"2021. Spring Boot. https:\/\/spring.io\/projects\/spring-boot. Accessed July 28, 2021."},{"key":"e_1_3_2_2_8_1","volume-title":"https:\/\/spring.io\/projects\/spring-framework. Accessed","author":"Framework Spring","year":"2021","unstructured":"2021. Spring Framework. https:\/\/spring.io\/projects\/spring-framework. Accessed July 28, 2021."},{"key":"e_1_3_2_2_9_1","volume-title":"https:\/\/github.com\/search?l=Java&q=Spring&type=Repositories. Accessed","author":"Projects Spring","year":"2021","unstructured":"2021. Spring Projects. https:\/\/github.com\/search?l=Java&q=Spring&type=Repositories. Accessed July 28, 2021."},{"volume-title":"pybbs Project. https:\/\/github.com\/tomoya92\/pybbs. Accessed","year":"2022","key":"e_1_3_2_2_10_1","unstructured":"2022. pybbs Project. https:\/\/github.com\/tomoya92\/pybbs. Accessed Feb 14, 2022."},{"key":"e_1_3_2_2_11_1","volume-title":"A study of call graph construction for JVM-hosted languages","author":"Ali Karim","year":"2019","unstructured":"Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhot\u00e1k, Julian Dolby, and Frank Tip. 2019. A study of call graph construction for JVM-hosted languages. IEEE transactions on software engineering(2019)."},{"key":"e_1_3_2_2_12_1","unstructured":"Lars\u00a0Ole Andersen. 1994. Program analysis and specialization for the C programming language. Ph.D. Dissertation. Citeseer."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386026"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594299"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.69"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771284.2771288"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_2_18_1","unstructured":"cglib. 2019. cglib-project. https:\/\/github.com\/cglib\/cglib."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542517"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/93548.93585"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/885638.885645"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49538-X_5"},{"key":"e_1_3_2_2_23_1","volume-title":"Driver Generation for Java EE Web Applications. In 2018 25th Australasian Software Engineering Conference (ASWEC). IEEE, 121\u2013125","author":"Dietrich Jens","year":"2018","unstructured":"Jens Dietrich, Fran\u00e7ois Gauthier, and Padmanabhan Krishnan. 2018. Driver Generation for Java EE Web Applications. In 2018 25th Australasian Software Engineering Conference (ASWEC). IEEE, 121\u2013125."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287653"},{"key":"e_1_3_2_2_25_1","unstructured":"Stephen J.\u00a0Fink et al. 2019. T.J. Watson Libraries for Analysis (WALA). http:\/\/wala.sourceforge.net."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348255"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213864"},{"volume-title":"29th {USENIX} Security Symposium ({USENIX} Security 20). 1749\u20131766.","author":"Ghavamnia Seyedhamed","key":"e_1_3_2_2_28_1","unstructured":"Seyedhamed Ghavamnia, Tapti Palit, Shachee Mishra, and Michalis Polychronakis. 2020. Temporal system call specialization for attack surface reduction. In 29th {USENIX} Security Symposium ({USENIX} Security 20). 1749\u20131766."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133926"},{"key":"e_1_3_2_2_30_1","volume-title":"35th European Conference on Object-Oriented Programming (ECOOP","author":"He Dongjie","year":"2021","unstructured":"Dongjie He, Jingbo Lu, Yaoqing Gao, and Jingling Xue. 2021. Accelerating object-sensitive pointer analysis by exploiting object containment and reachability. In 35th European Conference on Object-Oriented Programming (ECOOP 2021). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931098"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.53"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250766"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765931.1765948"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391984.1391987"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.48"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48288-9_10"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3295739"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566174"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"key":"e_1_3_2_2_42_1","unstructured":"oldmanpushcart. 2019. greys-anatomy. https:\/\/github.com\/oldmanpushcart\/greys-anatomy."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2983991"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428235"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386017"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227127"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192418"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000014"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26529-2_26"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290361"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048145"},{"volume-title":"Aliasing in Object-Oriented Programming. Types, Analysis and Verification","author":"Sridharan Manu","key":"e_1_3_2_2_52_1","unstructured":"Manu Sridharan, Satish Chandra, Julian Dolby, Stephen\u00a0J Fink, and Eran Yahav. 2013. Alias analysis for object-oriented programs. In Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Springer, 196\u2013232."},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062360"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290356"},{"key":"e_1_3_2_2_55_1","volume-title":"Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. IEEE, 724\u2013725","author":"Tonella Paolo","year":"2005","unstructured":"Paolo Tonella. 2005. Reverse engineering of object oriented code. In Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. IEEE, 724\u2013725."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_15"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542486"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925805.1925818"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417059"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454085"}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","acronym":"ASE '22","location":"Rochester MI USA"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556910","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3556910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T08:37:24Z","timestamp":1755851844000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556910"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":60,"alternative-id":["10.1145\/3551349.3556910","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3556910","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}