{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T16:28:33Z","timestamp":1780331313524,"version":"3.54.1"},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,9,25]],"date-time":"2024-09-25T00:00:00Z","timestamp":1727222400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,9,25]],"date-time":"2024-09-25T00:00:00Z","timestamp":1727222400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005713","name":"Technische Universit\u00e4t M\u00fcnchen","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005713","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2024,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>To put sound program analysis at the fingertips of the software developer, we propose a framework for interactive abstract interpretation of multithreaded C code. Abstract interpretation provides sound analysis results, but can be quite costly in general. To achieve quick response times, we incrementalize the analysis infrastructure, including postprocessing, without necessitating any modifications to the analysis specifications themselves. We rely on the local generic fixpoint engine <jats:bold>TD<\/jats:bold>\u00a0\u2013 which we enhance with reluctant destabilization to minimize reanalysis effort. Dedicated further improvements support precise incremental analysis of program properties that include concurrency deficiencies such as data-races. The framework has been implemented in the static analyzer <jats:sc>Goblint<\/jats:sc>, and combined with the <jats:sc>MagpieBridge<\/jats:sc> framework to relay findings to IDEs. We evaluate our implementation w.r.t. the yard sticks of response time and consistency. We also provide examples of program development highlighting the usability of our approach.<\/jats:p>","DOI":"10.1007\/s10009-024-00768-9","type":"journal-article","created":{"date-parts":[[2024,9,25]],"date-time":"2024-09-25T00:02:26Z","timestamp":1727222546000},"page":"647-667","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap"],"prefix":"10.1007","volume":"26","author":[{"given":"Julian","family":"Erhard","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simmo","family":"Saan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sarah","family":"Tilscher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Schwarz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Karoliine","family":"Holter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vesal","family":"Vojdani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Helmut","family":"Seidl","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,9,25]]},"reference":[{"key":"768_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-642-35182-2_12","volume-title":"Proceedings","author":"K. Apinis","year":"2012","unstructured":"Apinis, K., Seidl, H., Vojdani, V.: Side effecting constraint systems: a Swiss army knife for program analysis. In: Jhala, R., Igarashi, A. (eds.) Proceedings, Programming Languages and Systems\u00a0- 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Lecture Notes in Computer Science, vol.\u00a07705, pp.\u00a0157\u2013172. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-35182-2_12"},{"key":"768_CR2","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1145\/2568225.2568243","volume-title":"36th International Conference on Software Engineering","author":"S. Arzt","year":"2014","unstructured":"Arzt, S., Bodden, E.: Reviser: efficiently updating IDE-\/IFDS-based data-flow analyses in response to incremental program changes. In: Jalote, P., Briand, L.C., van der Hoek, A. (eds.) 36th International Conference on Software Engineering, ICSE \u201914, Hyderabad, India, May 31 - June 07, pp.\u00a0288\u2013298. ACM (2014). https:\/\/doi.org\/10.1145\/2568225.2568243"},{"key":"768_CR3","doi-asserted-by":"publisher","first-page":"77","DOI":"10.34727\/2020\/isbn.978-3-85448-042-6_14","volume-title":"2020 Formal Methods in Computer Aided Design","author":"S. Asadi","year":"2020","unstructured":"Asadi, S., Blicha, M., Hyv\u00e4rinen, A.E.J., Fedyukovich, G., Sharygina, N.: Incremental verification by SMT-based summary repair. In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020, pp.\u00a077\u201382. IEEE (2020). https:\/\/doi.org\/10.34727\/2020\/isbn.978-3-85448-042-6_14"},{"key":"768_CR4","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1145\/2491411.2491429","volume-title":"Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"D. Beyer","year":"2013","unstructured":"Beyer, D., L\u00f6we, S., Novikov, E., Stahlbauer, A., Wendler, P.: Precision reuse for efficient regression verification. In: Meyer, B., Baresi, L., Mezini, M. (eds.) Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC\/FSE\u201913, Saint Petersburg, Russian Federation, August 18-26, 2013, pp.\u00a0389\u2013399. ACM (2013). https:\/\/doi.org\/10.1145\/2491411.2491429"},{"issue":"1","key":"768_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. Transf. 21(1), 1\u201329 (2019). https:\/\/doi.org\/10.1007\/s10009-017-0469-y","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"768_CR6","doi-asserted-by":"publisher","unstructured":"Black, P., Badger, M., Guttman, B., Fong, E.: Dramatically reducing software vulnerabilities: Report to the White House office of science and technology policy. Technical report, National Institute of Standards and Technology (2016). https:\/\/doi.org\/10.6028\/NIST.IR.8151","DOI":"10.6028\/NIST.IR.8151"},{"key":"768_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-642-20398-5_33","volume-title":"Proceedings","author":"C. Calcagno","year":"2011","unstructured":"Calcagno, C., Distefano, D.: Infer: an automatic program verifier for memory safety of C programs. In: Bobaru, M.G., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) Proceedings, NASA Formal Methods\u00a0- Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Lecture Notes in Computer Science, vol.\u00a06617, pp.\u00a0459\u2013465. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-20398-5_33"},{"issue":"6","key":"768_CR8","doi-asserted-by":"publisher","DOI":"10.1145\/2049697.2049700","volume":"58","author":"C. Calcagno","year":"2011","unstructured":"Calcagno, C., Distefano, D., O\u2019Hearn, P.W., Yang, H.: Compositional shape analysis by means of bi-abduction. J. ACM 58(6) 26 (2011). https:\/\/doi.org\/10.1145\/2049697.2049700","journal-title":"J. ACM"},{"key":"768_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-17524-9_1","volume-title":"Proceedings","author":"C. Calcagno","year":"2015","unstructured":"Calcagno, C., Distefano, D., Dubreil, J., Gabi, D., Hooimeijer, P., Luca, M., O\u2019Hearn, P.W., Papakonstantinou, I., Purbrick, J., Rodriguez, D.: Moving fast with software verification. In: Havelund, K., Holzmann, G.J., Joshi, R. (eds.) Proceedings, NASA Formal Methods\u00a0- 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015. Lecture Notes in Computer Science, vol.\u00a09058, pp.\u00a03\u201311. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-17524-9_1"},{"key":"768_CR10","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1145\/73560.73584","volume-title":"Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988","author":"M.D. Carroll","year":"1988","unstructured":"Carroll, M.D., Ryder, B.G.: Incremental data flow analysis via dominator and attribute updates. In: Ferrante, J., Mager, P. (eds.) Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, pp.\u00a0274\u2013284. ACM Press (1988). https:\/\/doi.org\/10.1145\/73560.73584"},{"key":"768_CR11","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/2970276.2970347","volume-title":"Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering","author":"M. Christakis","year":"2016","unstructured":"Christakis, M., Bird, C.: What developers want and need from program analysis: an empirical study. In: Lo, D., Apel, S., Khurshid, S. (eds.) Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, pp.\u00a0332\u2013343. ACM (2016). https:\/\/doi.org\/10.1145\/2970276.2970347"},{"key":"768_CR12","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/502874.502898","volume-title":"Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984","author":"K.D. Cooper","year":"1984","unstructured":"Cooper, K.D., Kennedy, K.: Efficient computation of flow insensitive interprocedural summary information. In: Deusen, M.S.V., Graham, S.L. (eds.) Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984, pp.\u00a0247\u2013258. ACM (1984). https:\/\/doi.org\/10.1145\/502874.502898"},{"issue":"4","key":"768_CR13","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/44326.44329","volume":"23","author":"K.D. Cooper","year":"1988","unstructured":"Cooper, K.D., Kennedy, K.: Efficient computation of flow-insensitive interprocedural summary information\u00a0- a correction. ACM SIGPLAN Not. 23(4), 35\u201342 (1988). https:\/\/doi.org\/10.1145\/44326.44329","journal-title":"ACM SIGPLAN Not."},{"key":"768_CR14","volume-title":"Principles of Abstract Interpretation","author":"P. Cousot","year":"2021","unstructured":"Cousot, P.: Principles of Abstract Interpretation. MIT Press, Cambridge (2021)"},{"key":"768_CR15","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977","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: Graham, R.M., Harrison, M.A., Sethi, R. (eds.) Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pp.\u00a0238\u2013252. ACM (1977). https:\/\/doi.org\/10.1145\/512950.512973"},{"key":"768_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-55844-6_142","volume-title":"Proceedings","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation. In: Bruynooghe, M., Wirsing, M. (eds.) Proceedings, Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP\u201992, Leuven, Belgium, August 26\u201328, 1992. Lecture Notes in Computer Science, vol.\u00a0631, pp.\u00a0269\u2013295. Springer (1992). https:\/\/doi.org\/10.1007\/3-540-55844-6_142"},{"key":"768_CR17","first-page":"6","volume-title":"Proc. SSGRR","author":"P. Cousot","year":"2001","unstructured":"Cousot, P., Cousot, R.: Compositional separate modular static analysis of programs by abstract interpretation. In: Proc. SSGRR, pp.\u00a06\u201310 (2001)"},{"key":"768_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-31987-0_3","volume-title":"Proceedings","author":"P. Cousot","year":"2005","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: The ASTRE\u00c9 analyzer. In: Sagiv, S. (ed.) Proceedings, Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Lecture Notes in Computer Science, vol.\u00a03444, pp.\u00a021\u201330. Springer (2005). https:\/\/doi.org\/10.1007\/978-3-540-31987-0_3"},{"key":"768_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-33826-7_16","volume-title":"Proceedings","author":"P. Cuoq","year":"2012","unstructured":"Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C\u00a0- a software analysis perspective. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) Proceedings, Software Engineering and Formal Methods\u00a0- 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Lecture Notes in Computer Science, vol.\u00a07504, pp.\u00a0233\u2013247. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-33826-7_16"},{"key":"768_CR20","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/SCAM51674.2020.00008","volume-title":"20th IEEE International Working Conference on Source Code Analysis and Manipulation","author":"J.V. der Plas","year":"2020","unstructured":"der Plas, J.V., Sti\u00e9venart, Q., Es, N.V., Roover, C.D.: Incremental flow analysis through computational dependency reification. In: 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, Adelaide, Australia, September 28\u00a0- October 2, 2020, pp.\u00a025\u201336. IEEE (2020). https:\/\/doi.org\/10.1109\/SCAM51674.2020.00008"},{"key":"768_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-031-24950-1_14","volume-title":"Proceedings","author":"J.V. der Plas","year":"2023","unstructured":"der Plas, J.V., Sti\u00e9venart, Q., Roover, C.D.: Result invalidation for incremental modular analyses. In: Dragoi, C., Emmi, M., Wang, J. (eds.) Proceedings, Verification, Model Checking, and Abstract Interpretation\u00a0- 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023. Lecture Notes in Computer Science, vol.\u00a013881, pp.\u00a0296\u2013319. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-24950-1_14"},{"key":"768_CR22","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1145\/3092703.3092705","volume-title":"Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017","author":"L.N.Q. Do","year":"2017","unstructured":"Do, L.N.Q., Ali, K., Livshits, B., Bodden, E., Smith, J., Murphy-Hill, E.R.: Just-in-time static analysis. In: Bultan, T., Sen, K. (eds.) Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017, pp.\u00a0307\u2013317. ACM (2017). https:\/\/doi.org\/10.1145\/3092703.3092705"},{"key":"768_CR23","doi-asserted-by":"publisher","unstructured":"Erhard, J., Saan, S., Tilscher, S., Schwarz, M., Holter, K., Vojdani, V., Seidl, H.: Interactive abstract interpretation: Reanalyzing multithreaded C programs for cheap (2023). https:\/\/doi.org\/10.5281\/zenodo.8199963","DOI":"10.5281\/zenodo.8199963"},{"issue":"2","key":"768_CR24","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0167-6423(99)00009-X","volume":"35","author":"C. Fecht","year":"1999","unstructured":"Fecht, C., Seidl, H.: A faster solver for general systems of equations. Sci. Comput. Program. 35(2), 137\u2013161 (1999). https:\/\/doi.org\/10.1016\/S0167-6423(99)00009-X","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"768_CR25","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1017\/S1471068420000496","volume":"21","author":"I. Garcia-Contreras","year":"2021","unstructured":"Garcia-Contreras, I., Morales, J.F., Hermenegildo, M.V.: Incremental and modular context sensitive analysis. Theory Pract. Log. Program. 21(2), 196\u2013243 (2021). https:\/\/doi.org\/10.1017\/S1471068420000496","journal-title":"Theory Pract. Log. Program."},{"key":"768_CR26","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-33125-1_15","volume-title":"SAS","author":"N. Halbwachs","year":"2012","unstructured":"Halbwachs, N., Henry, J.: When the decreasing sequence fails. In: SAS, pp.\u00a0198\u2013213 (2012). https:\/\/doi.org\/10.1007\/978-3-642-33125-1_15"},{"issue":"2","key":"768_CR27","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/349214.349216","volume":"22","author":"M.V. Hermenegildo","year":"2000","unstructured":"Hermenegildo, M.V., Puebla, G., Marriott, K., Stuckey, P.J.: Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. 22(2), 187\u2013223 (2000). https:\/\/doi.org\/10.1145\/349214.349216","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"768_CR28","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.scico.2005.02.006","volume":"58","author":"M.V. Hermenegildo","year":"2005","unstructured":"Hermenegildo, M.V., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Program. 58(1), 115\u2013140 (2005). https:\/\/doi.org\/10.1016\/j.scico.2005.02.006","journal-title":"Sci. Comput. Program."},{"key":"768_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-642-14162-1_17","volume-title":"Proceedings, Part II","author":"M. Hofmann","year":"2010","unstructured":"Hofmann, M., Karbyshev, A., Seidl, H.: What is a pure functional? In: Abramsky, S., Gavoille, C., Kirchner, C., auf der Heide, F.M., Spirakis, P.G. (eds.) Proceedings, Part II, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010. Lecture Notes in Computer Science, vol.\u00a06199, pp.\u00a0199\u2013210. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-14162-1_17"},{"key":"768_CR30","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1109\/ICSE.2013.6606613","volume-title":"35th International Conference on Software Engineering","author":"B. Johnson","year":"2013","unstructured":"Johnson, B., Song, Y., Murphy-Hill, E.R., Bowdidge, R.W.: Why don\u2019t software developers use static analysis tools to find bugs? In: Notkin, D., Cheng, B.H.C., Pohl, K. (eds.) 35th International Conference on Software Engineering, ICSE \u201913, San Francisco, CA, USA, May 18-26, 2013, pp.\u00a0672\u2013681. IEEE Computer Society (2013). https:\/\/doi.org\/10.1109\/ICSE.2013.6606613"},{"key":"768_CR31","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1145\/2970276.2970309","volume-title":"Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering","author":"D. Kroening","year":"2016","unstructured":"Kroening, D., Poetzl, D., Schrammel, P., Wachter, B.: Sound static deadlock analysis for C\/pthreads. In: Lo, D., Apel, S., Khurshid, S. (eds.) Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, pp.\u00a0379\u2013390. ACM (2016). https:\/\/doi.org\/10.1145\/2970276.2970309"},{"key":"768_CR32","unstructured":"Le Charlier, B., Van Hentenryck, P.: A Universal Top-down Fixpoint Algorithm. Technical Report CS-92-25, CS Department, Brown University (1992)"},{"key":"768_CR33","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/3192366.3192390","volume-title":"Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"B. Liu","year":"2018","unstructured":"Liu, B., Huang, J.: D4: fast concurrency debugging with parallel differential analysis. In: Foster, J.S., Grossman, D. (eds.) Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018, pp.\u00a0359\u2013373. ACM (2018). https:\/\/doi.org\/10.1145\/3192366.3192390"},{"issue":"OOPSLA1","key":"768_CR34","doi-asserted-by":"publisher","DOI":"10.1145\/3527332","volume":"6","author":"B. Liu","year":"2022","unstructured":"Liu, B., Huang, J.: Sharp: fast incremental context-sensitive pointer analysis for Java. Proc. ACM Program. Lang. 6(OOPSLA1), 88 (2022). https:\/\/doi.org\/10.1145\/3527332","journal-title":"Proc. ACM Program. Lang."},{"issue":"1","key":"768_CR35","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/3293606","volume":"41","author":"B. Liu","year":"2019","unstructured":"Liu, B., Huang, J., Rauchwerger, L.: Rethinking incremental and parallel pointer analysis. ACM Trans. Program. Lang. Syst. 41(1), 6:1\u20136:31 (2019). https:\/\/doi.org\/10.1145\/3293606","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"768_CR36","series-title":"LIPIcs","doi-asserted-by":"publisher","first-page":"21:1","DOI":"10.4230\/LIPIcs.ECOOP.2019.21","volume-title":"33rd European Conference on Object-Oriented Programming","author":"L. Luo","year":"2019","unstructured":"Luo, L., Dolby, J., Bodden, E.: MagpieBridge: a general approach to integrating static analyses into ides and editors (tool insights paper). In: Donaldson, A.F. (ed.) 33rd European Conference on Object-Oriented Programming, ECOOP 2019, London, United Kingdom, July 15-19, 2019. LIPIcs, vol.\u00a0134, pp.\u00a021:1\u201321:25. Schloss Dagstuhl\u00a0- Leibniz-Zentrum f\u00fcr Informatik (2019). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2019.21"},{"key":"768_CR37","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1145\/2491411.2501854","volume-title":"Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"S. McPeak","year":"2013","unstructured":"McPeak, S., Gros, C., Ramanathan, M.K.: Scalable and incremental software bug detection. In: Meyer, B., Baresi, L., Mezini, M. (eds.) Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC\/FSE\u201913, Saint Petersburg, Russian Federation, August 18\u201326, 2013, pp.\u00a0554\u2013564. ACM (2013). https:\/\/doi.org\/10.1145\/2491411.2501854"},{"key":"768_CR38","volume-title":"The Ninth Workshop on Tools for Automatic Program Analysis (TAPAS\u201918)","author":"A. Min\u00e9","year":"2018","unstructured":"Min\u00e9, A., Ouadjaout, A., Journault, M.: Design of a modular platform for static analysis. In: The Ninth Workshop on Tools for Automatic Program Analysis (TAPAS\u201918) (2018)"},{"key":"768_CR39","first-page":"166","volume-title":"North American Conference on Logic Programming","author":"K. Muthukumar","year":"1989","unstructured":"Muthukumar, K., Hermenegildo, M.: Determination of variable dependence information at compile-time through abstract interpretation. In: North American Conference on Logic Programming, pp.\u00a0166\u2013189. MIT Press, Cambridge (1989)"},{"key":"768_CR40","unstructured":"Muthukumar, K., Hermenegildo, M.: Deriving a fixpoint computation algorithm for top-down abstract interpretation of logic programs. Technical Report ACT-DC-153-90, Microelectronics and Computer Technology Corporation (MCC) (1990) http:\/\/cliplab.org\/papers\/mcctr-fixpt.pdf"},{"key":"768_CR41","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/3209108.3209109","volume-title":"Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science","author":"P.W. O\u2019Hearn","year":"2018","unstructured":"O\u2019Hearn, P.W.: Continuous reasoning: scaling the impact of formal methods. In: Dawar, A., Gr\u00e4del, E. (eds.) Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp.\u00a013\u201325. ACM (2018). https:\/\/doi.org\/10.1145\/3209108.3209109"},{"key":"768_CR42","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/3-540-61739-6_47","volume-title":"Static Analysis","author":"G. Puebla","year":"1996","unstructured":"Puebla, G., Hermenegildo, M.: Optimized algorithms for incremental analysis of logic programs. In: Cousot, R., Schmidt, D.A. (eds.) Static Analysis. LNCS, pp.\u00a0270\u2013284. Springer, Berlin (1996). https:\/\/doi.org\/10.1007\/3-540-61739-6_47"},{"key":"768_CR43","volume-title":"35th Francophone Days of Application Languages","author":"M. Razafintsialonina","year":"2024","unstructured":"Razafintsialonina, M., B\u00fchler, D., Min\u00e9, A., Perrelle, V., Signoles, J.: Reuses of caches and invariants for incremental static analysis. In: 35th Francophone Days of Application Languages, JFLA 2024, Saint-Jacut-de-la-Mer, France, Jan 2024 (2024)"},{"key":"768_CR44","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1145\/567067.567084","volume-title":"Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983","author":"B.G. Ryder","year":"1983","unstructured":"Ryder, B.G.: Incremental data flow analysis. In: Wright, J.R., Landweber, L., Demers, A.J., Teitelbaum, T. (eds.) Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp.\u00a0167\u2013176. ACM Press (1983). https:\/\/doi.org\/10.1145\/567067.567084."},{"key":"768_CR45","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/1069774.1069785","volume-title":"Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal","author":"D. Saha","year":"2005","unstructured":"Saha, D., Ramakrishnan, C.R.: Incremental and demand-driven points-to analysis using logic programming. In: Barahona, P., Felty, A.P. (eds.) Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp.\u00a0117\u2013128. ACM (2005). https:\/\/doi.org\/10.1145\/1069774.1069785"},{"issue":"6","key":"768_CR46","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1017\/S1471068421000430","volume":"21","author":"M. Sanchez-Ordaz","year":"2021","unstructured":"Sanchez-Ordaz, M., Garcia-Contreras, I., Perez-Carrasco, V., Morales, J.F., Lopez-Garcia, P., Hermenegildo, M.V.: Verifly: on-the-fly assertion checking via incrementality. Theory Pract. Log. Program. 21(6), 768\u2013784 (2021). https:\/\/doi.org\/10.1017\/S1471068421000430","journal-title":"Theory Pract. Log. Program."},{"key":"768_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-030-88806-0_18","volume-title":"Proceedings","author":"M. Schwarz","year":"2021","unstructured":"Schwarz, M., Saan, S., Seidl, H., Apinis, K., Erhard, J., Vojdani, V.: Improving thread-modular abstract interpretation. In: Dragoi, C., Mukherjee, S., Namjoshi, K.S. (eds.) Proceedings, Static Analysis\u00a0- 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021. Lecture Notes in Computer Science, vol.\u00a012913, pp.\u00a0359\u2013383. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-88806-0_18"},{"key":"768_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-031-30044-8_2","volume-title":"Proceedings","author":"M. Schwarz","year":"2023","unstructured":"Schwarz, M., Saan, S., Seidl, H., Erhard, J., Vojdani, V.: Clustered relational thread-modular abstract interpretation with local traces. In: Wies, T. (ed.) Proceedings, Programming Languages and Systems\u00a0- 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023. Lecture Notes in Computer Science, vol.\u00a013990, pp.\u00a028\u201358. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-30044-8_2"},{"key":"768_CR49","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129521000499","volume":"31","author":"H. Seidl","year":"2022","unstructured":"Seidl, H., Vogler, R.: Three improvements to the top-down solver. Math. Struct. Comput. Sci. 31, 1\u201345 (2022). https:\/\/doi.org\/10.1017\/S0960129521000499","journal-title":"Math. Struct. Comput. Sci."},{"issue":"4","key":"768_CR50","doi-asserted-by":"publisher","first-page":"413","DOI":"10.3176\/phys.math.2003.4.05","volume":"52","author":"H. Seidl","year":"2003","unstructured":"Seidl, H., Vene, V., M\u00fcller-Olm, M.: Global invariants for analysing multi-threaded applications. Proc. Est. Acad. Sci., Phys. Math. 52(4), 413\u2013436 (2003). https:\/\/doi.org\/10.3176\/phys.math.2003.4.05","journal-title":"Proc. Est. Acad. Sci., Phys. Math."},{"key":"768_CR51","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1007\/978-3-642-05089-3_41","volume-title":"Proceedings","author":"H. Seidl","year":"2009","unstructured":"Seidl, H., Vojdani, V., Vene, V.: A smooth combination of linear and herbrand equalities for polynomial time must-alias analysis. In: Proceedings, FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. LNCS, vol.\u00a05850, pp.\u00a0644\u2013659. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-05089-3_41"},{"key":"768_CR52","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-030-41103-9_5","volume-title":"From Lambda Calculus to Cybersecurity Through Program Analysis","author":"H. Seidl","year":"2020","unstructured":"Seidl, H., Erhard, J., Vogler, R.: Incremental abstract interpretation. In: From Lambda Calculus to Cybersecurity Through Program Analysis. LNCS, vol.\u00a012065, pp.\u00a0132\u2013148. Springer, Berlin (2020). https:\/\/doi.org\/10.1007\/978-3-030-41103-9_5"},{"key":"768_CR53","doi-asserted-by":"publisher","unstructured":"Spadini, D., Aniche, M., Bacchelli, A.: PyDriller: Python framework for mining software repositories (2018). https:\/\/doi.org\/10.1145\/3236024.3264598","DOI":"10.1145\/3236024.3264598"},{"key":"768_CR54","doi-asserted-by":"crossref","unstructured":"Stein, B.: Demanded abstract interpretation. Ph.D. thesis, University of Colorado (2022)","DOI":"10.1145\/3453483.3454044"},{"key":"768_CR55","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1145\/3453483.3454044","volume-title":"PLDI \u201921: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021","author":"B. Stein","year":"2021","unstructured":"Stein, B., Chang, B.E., Sridharan, M.: Demanded abstract interpretation. In: Freund, S.N., Yahav, E. (eds.) PLDI \u201921: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021, pp.\u00a0282\u2013295. ACM (2021). https:\/\/doi.org\/10.1145\/3453483.3454044"},{"issue":"1","key":"768_CR56","doi-asserted-by":"publisher","first-page":"4:1","DOI":"10.1145\/3648441","volume":"46","author":"B. Stein","year":"2024","unstructured":"Stein, B., Chang, B.E., Sridharan, M.: Interactive abstract interpretation with demanded summarization. ACM Trans. Program. Lang. Syst. 46(1), 4:1\u20134:40 (2024). https:\/\/doi.org\/10.1145\/3648441","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"768_CR57","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3453483.3454026","volume-title":"PLDI \u201921: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021","author":"T. Szab\u00f3","year":"2021","unstructured":"Szab\u00f3, T., Erdweg, S., Bergmann, G.: Incremental whole-program analysis in datalog with lattices. In: Freund, S.N., Yahav, E. (eds.) PLDI \u201921: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021, pp.\u00a01\u201315. ACM (2021). https:\/\/doi.org\/10.1145\/3453483.3454026"},{"key":"768_CR58","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-981-19-9601-6_9","volume-title":"Challenges of Software Verification","author":"S. Tilscher","year":"2023","unstructured":"Tilscher, S., Stade, Y., Schwarz, M., Vogler, R., Seidl, H.: The top-down solver\u2014an exercise in A2I. In: Arceri, V., Cortesi, A., Ferrara, P., Olliaro, M. (eds.) Challenges of Software Verification, pp.\u00a0157\u2013179. Springer, Singapore (2023). https:\/\/doi.org\/10.1007\/978-981-19-9601-6_9"},{"key":"768_CR59","first-page":"141","volume":"30","author":"V. Vojdani","year":"2009","unstructured":"Vojdani, V., Vene, V.: Goblint: path-sensitive data race analysis. Ann. Univ. Sci. Bp., Sect. Comput. 30, 141\u2013155 (2009)","journal-title":"Ann. Univ. Sci. Bp., Sect. Comput."},{"key":"768_CR60","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/2970276.2970337","volume-title":"Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2016","author":"V. Vojdani","year":"2016","unstructured":"Vojdani, V., Apinis, K., R\u00f5tov, V., Seidl, H., Vene, V., Vogler, R.: Static race detection for device drivers: the goblint approach. In: Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2016, pp.\u00a0391\u2013402. ACM, New York (2016). https:\/\/doi.org\/10.1145\/2970276.2970337"},{"key":"768_CR61","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1145\/1287624.1287654","volume-title":"Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC-FSE \u201907","author":"J.W. Voung","year":"2007","unstructured":"Voung, J.W., Jhala, R., Lerner, S.: Relay: static race detection on millions of lines of code. In: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC-FSE \u201907, pp.\u00a0205\u2013214. ACM, New York (2007). https:\/\/doi.org\/10.1145\/1287624.1287654"},{"key":"768_CR62","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/SCAM59687.2023.00016","volume-title":"23rd IEEE International Working Conference on Source Code Analysis and Manipulation","author":"C. Wauters","year":"2023","unstructured":"Wauters, C., der Plas, J.V., Sti\u00e9venart, Q., Roover, C.D.: Change pattern detection for optimising incremental static analysis. In: Moonen, L., Newman, C.D., Gorla, A. (eds.) 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2023, Bogot\u00e1, Colombia, October 2-3, 2023, pp.\u00a049\u201360. IEEE (2023). https:\/\/doi.org\/10.1109\/SCAM59687.2023.00016"},{"key":"768_CR63","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1145\/253228.253369","volume-title":"Pulling Together","author":"J. Yur","year":"1997","unstructured":"Yur, J., Ryder, B.G., Landi, W., Stocks, P.: Incremental analysis of side effects for C software system. In: Adrion, W.R., Fuggetta, A., Taylor, R.N., Wasserman, A.I. (eds.) Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997, pp.\u00a0422\u2013432. ACM (1997). https:\/\/doi.org\/10.1145\/253228.253369"},{"key":"768_CR64","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1145\/302405.302676","volume-title":"Proceedings of the 1999 International Conference on Software Engineering","author":"J. Yur","year":"1999","unstructured":"Yur, J., Ryder, B.G., Landi, W.: An incremental flow- and context-sensitive pointer aliasing analysis. In: Boehm, B.W., Garlan, D., Kramer, J. (eds.) Proceedings of the 1999 International Conference on Software Engineering, ICSE\u2019 99, Los Angeles, CA, USA, May 16-22, 1999, pp.\u00a0442\u2013451. ACM (1999). https:\/\/doi.org\/10.1145\/302405.302676"},{"key":"768_CR65","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1145\/502874.502888","volume-title":"Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984","author":"F.K. Zadeck","year":"1984","unstructured":"Zadeck, F.K.: Incremental data flow analysis in a structured program editor. In: Deusen, M.S.V., Graham, S.L. (eds.) Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984, pp.\u00a0132\u2013143. ACM (1984). https:\/\/doi.org\/10.1145\/502874.502888"},{"key":"768_CR66","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1145\/2950290.2950332","volume-title":"Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"S. Zhan","year":"2016","unstructured":"Zhan, S., Huang, J.: ECHO: instantaneous in situ race detection in the IDE. In: Zimmermann, T., Cleland-Huang, J., Su, Z. (eds.) Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016, pp.\u00a0775\u2013786. ACM (2016). https:\/\/doi.org\/10.1145\/2950290.2950332"}],"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-00768-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-024-00768-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-024-00768-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T11:43:11Z","timestamp":1738842191000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-024-00768-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,25]]},"references-count":66,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["768"],"URL":"https:\/\/doi.org\/10.1007\/s10009-024-00768-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,9,25]]},"assertion":[{"value":"27 May 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 September 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}