{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:23:46Z","timestamp":1779074626641,"version":"3.51.4"},"publisher-location":"Singapore","reference-count":53,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789811996009","type":"print"},{"value":"9789811996016","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-981-19-9601-6_2","type":"book-chapter","created":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T16:02:22Z","timestamp":1690214542000},"page":"19-42","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["LiSA: A Generic Framework for\u00a0Multilanguage Static Analysis"],"prefix":"10.1007","author":[{"given":"Luca","family":"Negrini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pietro","family":"Ferrara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"Arceri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agostino","family":"Cortesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,7,22]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","unstructured":"Allen, F.E.: Control flow analysis. In: Proceedings of a Symposium on Compiler Optimization, pp. 1\u201319. Association for Computing Machinery, New York, NY, USA (1970). https:\/\/doi.org\/10.1145\/800028.808479","DOI":"10.1145\/800028.808479"},{"key":"2_CR2","unstructured":"Andersen, L.O.: Program analysis and specialization for the c programming language. Ph.D. thesis, DIKU, University of Copenhagen (1994). https:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.109.6502 &rep=rep1 &type=pdf"},{"key":"2_CR3","doi-asserted-by":"publisher","unstructured":"Androulaki, E., Barger, A., Bortnikov, V., Cachin, C., Christidis, K., Caro, A.D., Enyeart, D., Ferris, C., Laventman, G., Manevich, Y., Muralidharan, S., Murthy, C., Nguyen, B., Sethi, M., Singh, G., Smith, K., Sorniotti, A., Stathakopoulou, C., Vukolic, M., Cocco, S.W., Yellick, J.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: Oliveira, R., Felber, P., Hu, Y.C. (eds.) Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, 23\u201326 Apr. 2018, pp. 30:1\u201330:15. ACM (2018). https:\/\/doi.org\/10.1145\/3190508.3190538","DOI":"10.1145\/3190508.3190538"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.entcs.2017.02.003","volume":"331","author":"V Arceri","year":"2017","unstructured":"Arceri, V., Maffeis, S.: Abstract domains for type juggling. Electron. Notes Theor. Comput. Sci. 331, 41\u201355 (2017). DOI: 10.1016\/j.entcs.2017.02.003.","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Bacon, D.F., Sweeney, P.F.: Fast static analysis of c++ virtual function calls. In: Proceedings of the 11th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA \u201996, pp. 324\u2013341. Association for Computing Machinery, New York, NY, USA (1996). https:\/\/doi.org\/10.1145\/236337.236371","DOI":"10.1145\/236337.236371"},{"key":"2_CR6","doi-asserted-by":"publisher","unstructured":"Bagnara, R., Hill, P.M., Zaffanella, E.: The parma polyhedra library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1), 3\u201321 (2008). https:\/\/doi.org\/10.1016\/j.scico.2007.08.001. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642308000415. Special Issue on Second issue of experimental software and toolkits (EST)","DOI":"10.1016\/j.scico.2007.08.001"},{"key":"2_CR7","unstructured":"Buchman, E.: Tendermint: Byzantine fault tolerance in the age of blockchains. Ph.D. thesis, University of Guelph (2016). https:\/\/atrium.lib.uoguelph.ca\/xmlui\/handle\/10214\/9769"},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"Buro, S., Crole, R.L., Mastroeni, I.: On multi-language abstraction. In: Pichardie, D., Sighireanu, M. (eds.) Static Analysis, pp. 310\u2013332. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-65474-0_14","DOI":"10.1007\/978-3-030-65474-0_14"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Buro, S., Mastroeni, I.: On the multi-language construction. In: Caires, L. (ed.) Programming Languages and Systems, pp. 293\u2013321. Springer International Publishing, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17184-1_11","DOI":"10.1007\/978-3-030-17184-1_11"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Chen, L.: Microservices: Architecting for continuous delivery and devops. In: 2018 IEEE International Conference on Software Architecture (ICSA), pp. 39\u2013397 (2018). https:\/\/doi.org\/10.1109\/ICSA.2018.00013","DOI":"10.1109\/ICSA.2018.00013"},{"key":"2_CR11","doi-asserted-by":"publisher","unstructured":"Cortesi, A., Costantini, G., Ferrara, P.: A survey on product operators in abstract interpretation. Electronic Proceedings in Theoretical Computer Science 129, 325\u2013336 (2013). https:\/\/doi.org\/10.4204\/eptcs.129.19","DOI":"10.4204\/eptcs.129.19"},{"key":"2_CR12","doi-asserted-by":"publisher","unstructured":"Costantini, G., Ferrara, P., Cortesi, A.: A suite of abstract domains for static analysis of string values. Softw.: Pract. Exp. 45(2), 245\u2013287 (2015). https:\/\/doi.org\/10.1002\/spe.2218. https:\/\/onlinelibrary.wiley.com\/doi\/abs\/10.1002\/spe.2218","DOI":"10.1002\/spe.2218"},{"key":"2_CR13","unstructured":"Cousot, P.: Principles of Abstract Interpretation. MIT Press (2021)"},{"key":"2_CR14","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: Graham, R.M., Harrison, M.A., Sethi, R. (eds.) Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, CA, USA, Jan. 1977, pp. 238\u2013252. ACM (1977). https:\/\/doi.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"2_CR15","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, Jan. 1979, pp. 269\u2013282. ACM Press (1979). https:\/\/doi.org\/10.1145\/567752.567778","DOI":"10.1145\/567752.567778"},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Modular static program analysis. In: R.N. Horspool (ed.) Compiler Construction, pp. 159\u2013179. Springer, Berlin, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45937-5_13","DOI":"10.1007\/3-540-45937-5_13"},{"key":"2_CR17","doi-asserted-by":"publisher","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Aho, A.V., Zilles, S.N., Szymanski, T.G. (eds.) Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, Jan. 1978, pp. 84\u201396. ACM Press (1978). https:\/\/doi.org\/10.1145\/512760.512770","DOI":"10.1145\/512760.512770"},{"key":"2_CR18","doi-asserted-by":"publisher","unstructured":"Dean, J., Grove, D., Chambers, C.: Optimization of object-oriented programs using static class hierarchy analysis. In: Tokoro, M., Pareschi, R. (eds.) ECOOP\u201995\u2014Object-Oriented Programming, 9th European Conference, \u00c5arhus, Denmark, 7\u201311 Aug. 1995, pp. 77\u2013101. Springer, Berlin, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-49538-X_5","DOI":"10.1007\/3-540-49538-X_5"},{"key":"2_CR19","doi-asserted-by":"publisher","unstructured":"Denning, D.E.: A lattice model of secure information flow. Commun. ACM 19(5), 236\u2013243 (1976). https:\/\/doi.org\/10.1145\/360051.360056","DOI":"10.1145\/360051.360056"},{"issue":"8","key":"2_CR20","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/3338112","volume":"62","author":"D Distefano","year":"2019","unstructured":"Distefano, D., F\u00e4hndrich, M., Logozzo, F., O\u2019Hearn, P.W.: Scaling static analyses at facebook. Commun. the ACM 62(8), 62\u201370 (2019). https:\/\/doi.org\/10.1145\/3338112","journal-title":"Commun. the ACM"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Ernst, M.D., Lovato, A., Macedonio, D., Spiridon, C., Spoto, F.: Boolean formulas for the static identification of injection attacks in java. In: Davis, A.\u00a0Fehnker, A.\u00a0McIver, A.\u00a0Voronkov (eds.) Logic for Programming, Artificial Intelligence, and Reasoning, pp. 130\u2013145. Springer, Berlin, Heidelberg (2015). 978-3-662-48899-7_10","DOI":"10.1007\/978-3-662-48899-7_10"},{"key":"2_CR22","doi-asserted-by":"publisher","unstructured":"Ferrara, P.: A generic framework for heap and value analyses of object-oriented programming languages. Theor. Comput. Sci. 631, 43\u201372 (2016). https:\/\/doi.org\/10.1016\/j.tcs.2016.04.001. www.sciencedirect.com\/science\/article\/pii\/S0304397516300299","DOI":"10.1016\/j.tcs.2016.04.001"},{"key":"2_CR23","doi-asserted-by":"publisher","unstructured":"Ferrara, P., Cortesi, A., Spoto, F.: Cil to java-bytecode translation for static analysis leveraging. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE \u201918, pp. 40\u201349. Association for Computing Machinery, New York, NY, USA (2018). https:\/\/doi.org\/10.1145\/3193992.3193994","DOI":"10.1145\/3193992.3193994"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Ferrara, P., Mandal, A.K., Cortesi, A., Spoto, F.: Cross-programming language taint analysis for the iot ecosystem. Electron. Commun. EASST 77 (2019). 10.14279\/tuj.eceasst.77.1104","DOI":"10.1145\/3341105.3373924"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Ferrara, P., Negrini, L.: Sarl: Oo framework specification for static analysis. In: Christakis, M., Polikarpova, N., Duggirala, P.S., Schrammel, P. (eds.) Software Verification, pp. 3\u201320. Springer International Publishing, Cham (2020). 10.1007\/978-3-030-63618-0_1","DOI":"10.1007\/978-3-030-63618-0_1"},{"key":"2_CR26","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, SOAP 2021, pp. 1\u20136. Association for Computing Machinery, New York, NY, USA (2021). https:\/\/doi.org\/10.1145\/3460946.3464316","DOI":"10.1145\/3460946.3464316"},{"key":"2_CR27","doi-asserted-by":"publisher","unstructured":"Furr, M., Foster, J.S.: Polymorphic type inference for the JNI. In: Sestoft, P. (ed.) Programming Languages and Systems, pp. 309\u2013324. Springer, Berlin, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11693024_21","DOI":"10.1007\/11693024_21"},{"key":"2_CR28","doi-asserted-by":"publisher","unstructured":"Furr, M., Foster, J.S.: Checking type safety of foreign function calls. ACM Trans. Program. Lang. Syst. 30(4) (2008). https:\/\/doi.org\/10.1145\/1377492.1377493","DOI":"10.1145\/1377492.1377493"},{"key":"2_CR29","doi-asserted-by":"publisher","unstructured":"Jeannet, B., Min\u00e9, A.: Apron: A library of numerical abstract domains for static analysis. In: Bouajjani, A., Maler, O. (eds.) Computer Aided Verification, pp. 661\u2013667. Springer, Berlin, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02658-4_52","DOI":"10.1007\/978-3-642-02658-4_52"},{"key":"2_CR30","doi-asserted-by":"publisher","unstructured":"Journault, M., Min\u00e9, A., Monat, R., Ouadjaout, A.: Combinations of reusable abstract domains for a multilingual static analyzer. In: Chakraborty, S., Navas, J.A. (eds.) Verified Software. Theories, Tools, and Experiments, pp. 1\u201318. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-41600-3_1","DOI":"10.1007\/978-3-030-41600-3_1"},{"key":"2_CR31","doi-asserted-by":"publisher","unstructured":"Khedker, U.P., Karkare, B.: Efficiency, precision, simplicity, and generality in interprocedural data flow analysis: Resurrecting the classical call strings method. In: Hendren, L. (ed.) Compiler Construction, pp. 213\u2013228. Springer, Berlin, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78791-4_15","DOI":"10.1007\/978-3-540-78791-4_15"},{"key":"2_CR32","unstructured":"Kwon, J.: Tendermint: Consensus Without Mining (2014). https:\/\/tendermint.com\/static\/docs\/tendermint.pdf"},{"key":"2_CR33","unstructured":"Kwon, J., Buchman, E.: Cosmos Whitepaper (2019). https:\/\/v1.cosmos.network\/resources\/whitepaper"},{"key":"2_CR34","doi-asserted-by":"publisher","unstructured":"Lee, S., Lee, H., Ryu, S.: Broadening horizons of multilingual static analysis: semantic summary extraction from c code for JNI program analysis. In: Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, ASE \u201920, pp. 127\u2013137. Association for Computing Machinery, New York, NY, USA (2020). https:\/\/doi.org\/10.1145\/3324884.3416558","DOI":"10.1145\/3324884.3416558"},{"key":"2_CR35","doi-asserted-by":"publisher","unstructured":"Li, S., Tan, G.: Finding bugs in exceptional situations of JNI programs. In: Proceedings of the 16th ACM Conference on Computer and Communications Security, CCS\u201909, pp. 442\u2013452. Association for Computing Machinery, New York, NY, USA (2009). https:\/\/doi.org\/10.1145\/1653662.1653716","DOI":"10.1145\/1653662.1653716"},{"issue":"2011","key":"2_CR36","first-page":"145","volume":"800","author":"P Mell","year":"2011","unstructured":"Mell, P., Grance, T., et al.: The nist definition of cloud computing. Natl. Inst. Sci. Technol. Spec. Publ. 800(2011), 145 (2011)","journal-title":"Natl. Inst. Sci. Technol. Spec. Publ."},{"issue":"1","key":"2_CR37","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10990-006-8609-1","volume":"19","author":"A Min\u00e9","year":"2006","unstructured":"Min\u00e9, A.: The octagon abstract domain. Higher-order and symbolic computation 19(1), 31\u2013100 (2006). https:\/\/doi.org\/10.1007\/s10990-006-8609-1","journal-title":"High.-Order Symb. Comput."},{"key":"2_CR38","doi-asserted-by":"publisher","unstructured":"Monat, R., Ouadjaout, A., Min\u00e9, A.: A multilanguage static analysis of python programs with native c extensions. In: Dr\u0103goi, C., Mukherjee, S., Namjoshi, K. (eds.) Static Analysis, pp. 323\u2013345. Springer International Publishing, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88806-0_16","DOI":"10.1007\/978-3-030-88806-0_16"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Negrini, L.: A generic framework for multilanguage analysis. Ph.D. thesis, Universit\u00e1 Ca\u2019 Foscari Venezia (2023)","DOI":"10.1007\/978-981-19-9601-6_2"},{"key":"2_CR40","doi-asserted-by":"publisher","unstructured":"Negrini, L., Arceri, V., Ferrara, P., Cortesi, A.: Twinning automata and regular expressions for string static analysis. In: Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, 17\u201319 Jan. 2021, Proceedings, pp. 267\u2013290. Springer, Berlin, Heidelberg (2021). https:\/\/doi.org\/10.1007\/978-3-030-67067-2_13","DOI":"10.1007\/978-3-030-67067-2_13"},{"key":"2_CR41","doi-asserted-by":"publisher","unstructured":"Pinto, P., Carvalho, T., AO Bispo, J., Ramalho, M.A., AO M.P. Cardoso. J.: Aspect composition for multiple target languages using lara. Comput. Lang. Syst. Struct. 53, 1\u201326 (2018). https:\/\/doi.org\/10.1016\/j.cl.2017.12.003. www.sciencedirect.com\/science\/article\/pii\/S147784241730115X","DOI":"10.1016\/j.cl.2017.12.003"},{"key":"2_CR42","doi-asserted-by":"publisher","unstructured":"Porru, S., Pinna, A., Marchesi, M., Tonelli, R.: Blockchain-oriented software engineering: challenges and new directions. In: 2017 IEEE\/ACM 39th International Conference on Software Engineering Companion (ICSE-C), pp. 169\u2013171 (2017). https:\/\/doi.org\/10.1109\/ICSE-C.2017.142","DOI":"10.1109\/ICSE-C.2017.142"},{"key":"2_CR43","doi-asserted-by":"publisher","unstructured":"Rival, X., Mauborgne, L.: The trace partitioning abstract domain. ACM Trans Program. Lang. Syst. (TOPLAS) 29(5), 26\u2014es (2007). https:\/\/doi.org\/10.1145\/1275497.1275501","DOI":"10.1145\/1275497.1275501"},{"issue":"1","key":"2_CR44","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications 21(1), 5\u201319 (2003). https:\/\/doi.org\/10.1109\/JSAC.2002.806121","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"2_CR45","doi-asserted-by":"publisher","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3-valued logic. ACM Trans. Program. Lang. Syst. 24(3), 217\u2013298 (2002). https:\/\/doi.org\/10.1145\/514188.514190","DOI":"10.1145\/514188.514190"},{"key":"2_CR46","unstructured":"Sharir, M., Pnueli, A., et\u00a0al.: Two approaches to interprocedural data flow analysis. New York University. Courant Institute of Mathematical Sciences (1978)"},{"key":"2_CR47","doi-asserted-by":"publisher","unstructured":"Spoto, F.: The julia static analyzer for java. In: Rival, X. (ed.) Static Analysis, pp. 39\u201357. Springer, Berlin, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-53413-7_3","DOI":"10.1007\/978-3-662-53413-7_3"},{"key":"2_CR48","doi-asserted-by":"publisher","unstructured":"Sundaresan, V., Hendren, L., Razafimahefa, C., Vall\u00e9e-Rai, R., Lam, P., Gagnon, E., Godin, C.: Practical virtual method call resolution for java. In: Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA \u201900, pp. 264\u2013280. Association for Computing Machinery, New York, NY, USA (2000). https:\/\/doi.org\/10.1145\/353171.353189","DOI":"10.1145\/353171.353189"},{"key":"2_CR49","doi-asserted-by":"publisher","unstructured":"Tan, G., Morrisett, G.: Ilea: Inter-language analysis across java and c. In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA \u201907, pp. 39\u201356. Association for Computing Machinery, New York, NY, USA (2007). https:\/\/doi.org\/10.1145\/1297027.1297031","DOI":"10.1145\/1297027.1297031"},{"key":"2_CR50","doi-asserted-by":"publisher","unstructured":"Teixeira, G., Bispo, J.a., Correia, F.F.: Multi-language static code analysis on the lara framework. In: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2021, pp. 31\u201336. Association for Computing Machinery, New York, NY, USA (2021). https:\/\/doi.org\/10.1145\/3460946.3464317","DOI":"10.1145\/3460946.3464317"},{"key":"2_CR51","doi-asserted-by":"publisher","unstructured":"Tripp, O., Pistoia, M., Fink, S.J., Sridharan, M., Weisman, O.: Taj: effective taint analysis of web applications. In: Hind, M., Diwan, A. (eds.) Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, 15\u201321 June 2009, pp. 87\u201397. ACM (2009). https:\/\/doi.org\/10.1145\/1542476.1542486","DOI":"10.1145\/1542476.1542486"},{"issue":"4","key":"2_CR52","first-page":"359","volume":"21","author":"S Vongsingthong","year":"2014","unstructured":"Vongsingthong, S., Smanchat, S.: Internet of things: a review of applications and technologies. Suranaree J. Sci. Technol. 21(4), 359\u2013374 (2014)","journal-title":"Suranaree J. Sci. Technol."},{"key":"2_CR53","doi-asserted-by":"publisher","unstructured":"Wei, F., Lin, X., Ou, X., Chen, T., Zhang, X.: Jn-saf: Precise and efficient NDK\/JNI-aware inter-language static analysis framework for security vetting of android applications with native code. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS \u201918, pp. 1137\u20131150. Association for Computing Machinery, New York, NY, USA (2018). https:\/\/doi.org\/10.1145\/3243734.3243835","DOI":"10.1145\/3243734.3243835"}],"container-title":["Intelligent Systems Reference Library","Challenges of Software Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-19-9601-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,17]],"date-time":"2023-12-17T17:09:48Z","timestamp":1702832988000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-19-9601-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9789811996009","9789811996016"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-981-19-9601-6_2","relation":{},"ISSN":["1868-4394","1868-4408"],"issn-type":[{"value":"1868-4394","type":"print"},{"value":"1868-4408","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"22 July 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}