{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:09:31Z","timestamp":1776305371032,"version":"3.50.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227485","type":"print"},{"value":"9783032227492","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22749-2_30","type":"book-chapter","created":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T13:10:35Z","timestamp":1776258635000},"page":"543-550","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution)"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5150-0393","authenticated-orcid":false,"given":"Vincenzo","family":"Arceri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9930-8854","authenticated-orcid":false,"given":"Luca","family":"Negrini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-7401-7262","authenticated-orcid":false,"given":"Giacomo","family":"Zanatta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2730-0296","authenticated-orcid":false,"given":"Filippo","family":"Bianchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-6644-1049","authenticated-orcid":false,"given":"Teodors","family":"Lisovenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8074-8980","authenticated-orcid":false,"given":"Luca","family":"Olivieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4678-933X","authenticated-orcid":false,"given":"Pietro","family":"Ferrara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,15]]},"reference":[{"key":"30_CR1","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. Phd thesis, University of Copenhagen, DIKU (1994)"},{"key":"30_CR2","doi-asserted-by":"publisher","unstructured":"Arceri, V., Merenda, S.M., Dolcetti, G., Negrini, L., Olivieri, L., Zaffanella, E.: Towards a sound construction of evm bytecode control-flow graphs. In: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs. p. 11\u201316. FTfJP 2024, Association for Computing Machinery, New York, NY, USA (2024). https:\/\/doi.org\/10.1145\/3678721.3686227","DOI":"10.1145\/3678721.3686227"},{"key":"30_CR3","doi-asserted-by":"publisher","unstructured":"Arceri, V., Merenda, S.M., Negrini, L., Olivieri, L., Zaffanella, E.: Evmlisa: Sound static control-flow graph construction for evm bytecode. Blockchain: Research and Applications p. 100384 (2025). https:\/\/doi.org\/10.1016\/j.bcra.2025.100384","DOI":"10.1016\/j.bcra.2025.100384"},{"key":"30_CR4","unstructured":"Beyer, D., Strej\u010dek, J.: Evaluating software verifiers for C, Java, and SV-LIB (report on SV-COMP 2026). In: Proc. TACAS\u00a0(2). LNCS\u00a016506, Springer (2026)"},{"issue":"1","key":"30_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10009-017-0469-y","volume":"21","author":"D Beyer","year":"2019","unstructured":"Beyer, D., L\u00f6we, S., Wendler, P.: Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transfer 21(1), 1\u201329 (2019). https:\/\/doi.org\/10.1007\/s10009-017-0469-y","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"30_CR6","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. p. 238\u2013252. POPL \u201977, Association for Computing Machinery, New York, NY, USA (1977). https:\/\/doi.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"30_CR7","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Aho, A.V., Zilles, S.N., Rosen, B.K. (eds.) Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA , January 1979. pp. 269\u2013282. ACM Press (1979). https:\/\/doi.org\/10.1145\/567752.567778","DOI":"10.1145\/567752.567778"},{"key":"30_CR8","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.tcs.2016.04.001","volume":"631","author":"P Ferrara","year":"2016","unstructured":"Ferrara, P.: A generic framework for heap and value analyses of object-oriented programming languages. Theoret. Comput. Sci. 631, 43\u201372 (2016). https:\/\/doi.org\/10.1016\/j.tcs.2016.04.001","journal-title":"Theoret. Comput. Sci."},{"key":"30_CR9","doi-asserted-by":"publisher","unstructured":"Ferrara, P., Negrini, L., Arceri, V., Cortesi, A.: Static analysis for dummies: experiencing lisa. In: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. p. 1\u20136. SOAP 2021, Association for Computing Machinery, New York, NY, USA (2021). https:\/\/doi.org\/10.1145\/3460946.3464316","DOI":"10.1145\/3460946.3464316"},{"key":"30_CR10","doi-asserted-by":"publisher","unstructured":"Grove, D., DeFouw, G., Dean, J., Chambers, C.: Call graph construction in object-oriented languages. In: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. pp. 108\u2013124. OOPSLA \u201997, Association for Computing Machinery, New York, NY, USA (Oct 1997). https:\/\/doi.org\/10.1145\/263698.264352","DOI":"10.1145\/263698.264352"},{"key":"30_CR11","unstructured":"Negrini, L.: A generic framework for multilanguage analysis. Phd thesis, Universit\u00e1 Ca\u2019 Foscari Venezia (2023)"},{"key":"30_CR12","doi-asserted-by":"publisher","unstructured":"Negrini, L., Arceri, V., Olivieri, L., Cortesi, A., Ferrara, P.: Teaching through practice: Advanced static analysis with lisa. In: Sekerinski, E., Ribeiro, L. (eds.) Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings. Lecture Notes in Computer Science, vol. 14939, pp. 43\u201357. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-71379-8_3","DOI":"10.1007\/978-3-031-71379-8_3"},{"key":"30_CR13","doi-asserted-by":"publisher","unstructured":"Negrini, L., Ferrara, P., Arceri, V., Cortesi, A.: Lisa: A generic framework for multilanguage static analysis. In: Arceri, V., Cortesi, A., Ferrara, P., Olliaro, M. (eds.) Challenges of Software Verification, Intelligent Systems Reference Library, vol.\u00a0238, pp. 19\u201342. Springer (2023). https:\/\/doi.org\/10.1007\/978-981-19-9601-6_2","DOI":"10.1007\/978-981-19-9601-6_2"},{"key":"30_CR14","doi-asserted-by":"publisher","unstructured":"Olivieri, L.: Detection of cross-channel invocation risks in hyperledger fabric. In: 2025 IEEE 36th International Symposium on Software Reliability Engineering (ISSRE). pp. 107\u2013118 (2025). https:\/\/doi.org\/10.1109\/ISSRE66568.2025.00023","DOI":"10.1109\/ISSRE66568.2025.00023"},{"key":"30_CR15","doi-asserted-by":"publisher","unstructured":"Olivieri, L., Jensen, T., Negrini, L., Spoto, F.: Michelsonlisa: A static analyzer for tezos. In: 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops). pp. 80\u201385 (2023). https:\/\/doi.org\/10.1109\/PerComWorkshops56833.2023.10150247","DOI":"10.1109\/PerComWorkshops56833.2023.10150247"},{"key":"30_CR16","doi-asserted-by":"publisher","unstructured":"Olivieri, L., Negrini, L.: Don\u2019t panic: error handling patterns in go smart contracts and blockchain software. In: 2025 7th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), pp.\u00a01\u20139 (2025). https:\/\/doi.org\/10.1109\/BRAINS67003.2025.11302935","DOI":"10.1109\/BRAINS67003.2025.11302935"},{"key":"30_CR17","doi-asserted-by":"publisher","first-page":"80687","DOI":"10.1109\/ACCESS.2024.3410019","volume":"12","author":"L Olivieri","year":"2024","unstructured":"Olivieri, L., Negrini, L., Arceri, V., Chachar, B., Ferrara, P., Cortesi, A.: Detection of phantom reads in hyperledger fabric. IEEE Access 12, 80687\u201380697 (2024). https:\/\/doi.org\/10.1109\/ACCESS.2024.3410019","journal-title":"IEEE Access"},{"key":"30_CR18","doi-asserted-by":"publisher","unstructured":"Olivieri, L., Negrini, L., Arceri, V., Ferrara, P., Cortesi, A.: Detection of read-write issues in hyperledger fabric smart contracts. In: Hong, J., Battiato, S., Esposito, C., Park, J.W., Przybylek, A. (eds.) Proceedings of the 40th ACM\/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025. pp. 329\u2013337. ACM (2025). https:\/\/doi.org\/10.1145\/3672608.3707721","DOI":"10.1145\/3672608.3707721"},{"key":"30_CR19","doi-asserted-by":"publisher","unstructured":"Olivieri, L., Negrini, L., Arceri, V., Ferrara, P., Cortesi, A., Spoto, F.: Static detection of untrusted cross-contract invocations in go smart contracts. In: Hong, J., Battiato, S., Esposito, C., Park, J.W., Przybylek, A. (eds.) Proceedings of the 40th ACM\/SIGAPP Symposium on Applied Computing, SAC 2025, Catania International Airport, Catania, Italy, 31 March 2025 - 4 April 2025. pp. 338\u2013347. ACM (2025). https:\/\/doi.org\/10.1145\/3672608.3707728","DOI":"10.1145\/3672608.3707728"},{"key":"30_CR20","doi-asserted-by":"publisher","unstructured":"Olivieri, L., Negrini, L., Arceri, V., Jensen, T.P., Spoto, F.: Design and implementation of static analyses for tezos smart contracts. Distributed Ledger Technol. Res. Pract. 4(2), 13:1\u201313:23 (2025). https:\/\/doi.org\/10.1145\/3643567","DOI":"10.1145\/3643567"},{"key":"30_CR21","doi-asserted-by":"publisher","unstructured":"Olivieri, L., Negrini, L., Arceri, V., Tagliaferro, F., Ferrara, P., Cortesi, A., Spoto, F.: Information flow analysis for detecting non-determinism in blockchain. In: Ali, K., Salvaneschi, G. (eds.) 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States. LIPIcs, vol.\u00a0263, pp. 23:1\u201323:25. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2023). https:\/\/doi.org\/10.4230\/LIPICS.ECOOP.2023.23","DOI":"10.4230\/LIPICS.ECOOP.2023.23"},{"key":"30_CR22","doi-asserted-by":"publisher","unstructured":"Olivieri, L., Tagliaferro, F., Arceri, V., Ruaro, M., Negrini, L., Cortesi, A., Ferrara, P., Spoto, F., Talin, E.: Ensuring determinism in blockchain software with golisa: an industrial experience report. In: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. p. 23\u201329. SOAP 2022, Association for Computing Machinery, New York, NY, USA (2022). https:\/\/doi.org\/10.1145\/3520313.3534658","DOI":"10.1145\/3520313.3534658"},{"key":"30_CR23","unstructured":"Pnueli, M., Sharir, M.: Two approaches to interprocedural data flow analysis. Program flow analysis: theory and applications pp. 189\u2013234 (1981)"},{"issue":"6","key":"30_CR24","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1007\/S10009-024-00777-8","volume":"26","author":"G Zanatta","year":"2024","unstructured":"Zanatta, G., Caiazza, G., Ferrara, P., Negrini, L.: Inference of access policies through static analysis. Int. J. Softw. Tools Technol. Transf. 26(6), 797\u2013821 (2024). https:\/\/doi.org\/10.1007\/S10009-024-00777-8","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"30_CR25","doi-asserted-by":"publisher","unstructured":"Zanatta, G., Caiazza, G., Ferrara, P., Negrini, L., White, R.: Automating ROS2 security policies extraction through static analysis. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems, IROS 2024, Abu Dhabi, United Arab Emirates, October 14-18, 2024. pp. 3627\u20133634. IEEE (2024). https:\/\/doi.org\/10.1109\/IROS58592.2024.10802507","DOI":"10.1109\/IROS58592.2024.10802507"},{"key":"30_CR26","doi-asserted-by":"publisher","unstructured":"Zanatta, G., Ferrara, P., Lisovenko, T., Negrini, L., Caiazza, G., White, R.: Sound static analysis for microservices: Utopia? A preliminary experience with lisa. In: Stefano, L.D. (ed.) Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024, Vienna , Austria, 20 September 2024. pp. 5\u201310. ACM (2024). https:\/\/doi.org\/10.1145\/3678721.3686229","DOI":"10.1145\/3678721.3686229"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22749-2_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T13:10:38Z","timestamp":1776258638000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22749-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227485","9783032227492"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22749-2_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"15 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TACAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tacas2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/about\/tacas\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}