{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:23:47Z","timestamp":1779074627067,"version":"3.51.4"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2024,8,27]],"date-time":"2024-08-27T00:00:00Z","timestamp":1724716800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,8,27]],"date-time":"2024-08-27T00:00:00Z","timestamp":1724716800000},"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":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1007\/s10009-024-00762-1","type":"journal-article","created":{"date-parts":[[2024,8,27]],"date-time":"2024-08-27T09:03:04Z","timestamp":1724749384000},"page":"621-632","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Sound and precise static analysis using a generalization of static single assignment and value numbering"],"prefix":"10.1007","volume":"26","author":[{"given":"S. Tucker","family":"Taft","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,27]]},"reference":[{"key":"762_CR1","unstructured":"AdaCore: GNATSAS CodePeer documentation (2024). https:\/\/www.adacore.com\/static-analysis-suite\/defects-and-vulnerability"},{"key":"762_CR2","volume-title":"Static Analysis of Software: The Abstract Interpretation","year":"2012","unstructured":"Boulanger, J.-L. (ed.): Static Analysis of Software: The Abstract Interpretation. John Wiley & Sons, Inc. (2012)"},{"key":"762_CR3","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst. 13, 451\u2013490 (1991). ISSN 0164-0925. https:\/\/doi.org\/10.1145\/115372.115320","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"762_CR4","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1002\/(SICI)1097-024X(199706)27:6<701::AID-SPE104>3.0.CO;2-0","volume":"27","author":"P. Briggs","year":"1997","unstructured":"Briggs, P., Cooper, K.D., Simpson, L.T.: Value numbering. Softw. Pract. Exp. 27, 701\u2013724 (1997). ISSN 0038-0644","journal-title":"Softw. Pract. Exp."},{"key":"762_CR5","first-page":"238","volume-title":"Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","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, pp.\u00a0238\u2013252. ACM, Los Angeles (1977). http:\/\/doi.acm.org\/10.1145\/512950.512973"},{"key":"762_CR6","unstructured":"Taft, T., Duff, R.: 1.1.5 Classification of Errors. Ada Reference Manual (2022). http:\/\/www.ada-auth.org\/standards\/22rm\/html\/RM-1-1-5.html. Retrieved 4-Oct-23"},{"key":"762_CR7","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1145\/512927.512945","volume-title":"Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"G.A. Kildall","year":"1973","unstructured":"Kildall, G.A.: A unified approach to global program optimization. In: Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp.\u00a0194\u2013206. ACM, Boston (1973). ISBN 9781450373494. https:\/\/doi.org\/10.1145\/512927.512945"},{"key":"762_CR8","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/360018.360025","volume":"19","author":"F.E. Allen","year":"1976","unstructured":"Allen, F.E., Cocke, J.: A program data flow analysis procedure. Commun. ACM 19, 137 (1976). ISSN 0001-0782. https:\/\/doi.org\/10.1145\/360018.360025","journal-title":"Commun. ACM"},{"key":"762_CR9","volume-title":"Introduction to Static Analysis an Abstract Interpretation Perspective","author":"X. Rival","year":"2020","unstructured":"Rival, X., Yi, K.: Introduction to Static Analysis an Abstract Interpretation Perspective. The MIT Press, Cambridge (2020)"},{"key":"762_CR10","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1145\/359863.359888","volume":"20","author":"J. Cocke","year":"1977","unstructured":"Cocke, J., Kennedy, K.: An algorithm for reduction of operator strength. Commun. ACM 20, 850\u2013856 (1977). ISSN 0001-0782. https:\/\/doi.org\/10.1145\/359863.359888","journal-title":"Commun. ACM"},{"key":"762_CR11","unstructured":"Intermetrics: Computer Program Development Specification for Ada Integrated Environment. Ada Compiler Phases B5-AIE (1). COMP (1) (1982). https:\/\/apps.dtic.mil\/sti\/citations\/ADA134032"},{"key":"762_CR12","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/319294.319321","volume-title":"Proceedings of the 1999 Annual ACM SIGAda International Conference on Ada","author":"S.J. Bernstein","year":"1999","unstructured":"Bernstein, S.J., Duff, R.S.: Optimizing Ada on the fly. In: Proceedings of the 1999 Annual ACM SIGAda International Conference on Ada, pp.\u00a0169\u2013179. Association for Computing Machinery, Redondo Beach (1999). ISBN 1581131275. https:\/\/doi.org\/10.1145\/319294.319321"},{"key":"762_CR13","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/73560.73562","volume-title":"Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"B.K. Rosen","year":"1988","unstructured":"Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Global value numbers and redundant computations. In: Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.\u00a012\u201327. Association for Computing Machinery, San Diego (1988). ISBN 0897912527 https:\/\/doi.org\/10.1145\/73560.73562."},{"key":"762_CR14","unstructured":"Facebook: Pulse Infer Plugin 1.1.0. Facebook, Inc. (2023). https:\/\/fbinfer.com\/docs\/checker-pulse"},{"key":"762_CR15","series-title":"ACM Program. Lang.","volume-title":"SSA Translation Is an Abstract Interpretation in Proc","author":"M. Lemerre","year":"2023","unstructured":"Lemerre, M.: SSA Translation Is an Abstract Interpretation in Proc. ACM Program. Lang., vol.\u00a07 (2023)"},{"key":"762_CR16","first-page":"271","volume-title":"Proceedings","author":"G. Brat","year":"2014","unstructured":"Brat, G., Navas, J.A., Shi, N., Venet, A.: IKOS: a framework for static analysis based on abstract interpretation. In: Giannakopoulou, D., Sala\u00fcn, G. (eds.) Proceedings, Software Engineering and Formal Methods\u00a0- 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, vol.\u00a08702, pp.\u00a0271\u2013277. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-319-10431-7%5C_20"},{"key":"762_CR17","doi-asserted-by":"publisher","DOI":"10.1145\/3656392","volume":"8","author":"D. Lesbre","year":"2024","unstructured":"Lesbre, D., Lemerre, M.: Compiling with abstract interpretation. Proc. ACM Program. Lang. 8, 162 (2024). https:\/\/doi.org\/10.1145\/3656392","journal-title":"Proc. ACM Program. Lang."},{"key":"762_CR18","series-title":"Revised Selected Papers","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/978-3-642-18070-5_2","volume-title":"Formal Verification of Object-Oriented Software\u00a0- International Conference","author":"M. F\u00e4hndrich","year":"2010","unstructured":"F\u00e4hndrich, M., Logozzo, F.: Static contract checking with abstract interpretation. In: Beckert, B., March\u00e9, C. (eds.) Formal Verification of Object-Oriented Software\u00a0- International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010. Revised Selected Papers, vol.\u00a06528, pp.\u00a010\u201330. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-18070-5%5C_2"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-024-00762-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-024-00762-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-024-00762-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,27]],"date-time":"2024-09-27T13:05:04Z","timestamp":1727442304000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-024-00762-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,27]]},"references-count":18,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["762"],"URL":"https:\/\/doi.org\/10.1007\/s10009-024-00762-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,8,27]]},"assertion":[{"value":"14 August 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 August 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}