{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,27]],"date-time":"2024-09-27T13:40:12Z","timestamp":1727444412725},"reference-count":30,"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-00763-0","type":"journal-article","created":{"date-parts":[[2024,8,27]],"date-time":"2024-08-27T10:03:17Z","timestamp":1724752997000},"page":"607-619","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["User-assisted code query customization and optimization"],"prefix":"10.1007","volume":"26","author":[{"given":"Ben","family":"Liblit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yingjun","family":"Lyu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajdeep","family":"Mukherjee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omer","family":"Tripp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanjun","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,27]]},"reference":[{"unstructured":"Amazon Web Services: Boto3\u00a0- the AWS SDK for Java (2022). https:\/\/github.com\/aws\/aws-sdk-java","key":"763_CR1"},{"unstructured":"Amazon Web Services: Boto3\u00a0- the AWS SDK for Python (2022). https:\/\/github.com\/boto\/boto3","key":"763_CR2"},{"unstructured":"Amazon Web Services: AWS SDK for Python (Boto3) (2022). https:\/\/aws.amazon.com\/sdk-for-python\/","key":"763_CR3"},{"unstructured":"Amazon Web Services: Missing pagination rule (2022). https:\/\/docs.aws.amazon.com\/codeguru\/detector-library\/java\/missing-pagination\/","key":"763_CR4"},{"unstructured":"Amazon Web Services: Batch request with unchecked failures rule (2022). https:\/\/docs.aws.amazon.com\/codeguru\/detector-library\/java\/aws-unchecked-batch-failures\/","key":"763_CR5"},{"unstructured":"Amazon Web Services: Inefficient polling of aws resource high rule (2022). https:\/\/docs.aws.amazon.com\/codeguru\/detector-library\/java\/aws-polling-instead-of-waiter\/","key":"763_CR6"},{"unstructured":"Amazon Web Services: Check uncaught exceptions high rule (2022). https:\/\/docs.aws.amazon.com\/codeguru\/detector-library\/java\/check-uncaught-exceptions\/","key":"763_CR7"},{"unstructured":"Amazon Web Services: Use of a deprecated method rule (2022). https:\/\/docs.aws.amazon.com\/codeguru\/detector-library\/java\/deprecated-method\/","key":"763_CR8"},{"unstructured":"Amazon Web Services: What is Amazon CodeGuru Reviewer? (2023). https:\/\/docs.aws.amazon.com\/codeguru\/latest\/reviewer-ug\/welcome.html","key":"763_CR9"},{"unstructured":"Amazon Web Services: Codeguru rules (2024). https:\/\/docs.aws.amazon.com\/codeguru\/detector-library\/","key":"763_CR10"},{"key":"763_CR11","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\u00a0- June 07, 2014, pp.\u00a0288\u2013298. ACM (2014). https:\/\/doi.org\/10.1145\/2568225.2568243"},{"key":"763_CR12","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1145\/2594291.2594299","volume-title":"ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"S. Arzt","year":"2014","unstructured":"Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., Le Traon, Y., Octeau, D., McDaniel, P.D.: Flowdroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps. In: O\u2019Boyle, M.F.P., Pingali, K. (eds.) ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201914, Edinburgh, United Kingdom, June 09-11, 2014, pp.\u00a0259\u2013269. ACM (2014). https:\/\/doi.org\/10.1145\/2594291.2594299"},{"key":"763_CR13","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., Infer, D.D.: An automatic program verifier for memory safety of C programs. In: Gheorghiu Bobaru, M., 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"},{"unstructured":"GitHub, Inc.: Codeql (2019). https:\/\/codeql.github.com","key":"763_CR14"},{"issue":"4","key":"763_CR15","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1109\/TPDS.2020.3036190","volume":"32","author":"R. Gu","year":"2021","unstructured":"Gu, R., Zuo, Z., Jiang, X., Yin, H., Wang, Z., Wang, L., Li, X., Huang, Y.: Towards efficient large-scale interprocedural program static analysis on distributed data-parallel computation. IEEE Trans. Parallel Distrib. Syst. 32(4), 867\u2013883 (2021). https:\/\/doi.org\/10.1109\/TPDS.2020.3036190","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"763_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/978-3-642-54013-4_26","volume-title":"Proceedings","author":"B. Hardekopf","year":"2014","unstructured":"Hardekopf, B., Wiedermann, B., Churchill, B.R., Kashyap, V.: Widening for control-flow. In: McMillan, K.L., Rival, X. (eds.) Proceedings, Verification, Model Checking, and Abstract Interpretation\u00a0- 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014. Lecture Notes in Computer Science, vol.\u00a08318, pp.\u00a0472\u2013491. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-642-54013-4_26"},{"key":"763_CR17","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/2635868.2635904","volume-title":"Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"V. Kashyap","year":"2014","unstructured":"Kashyap, V., Dewey, K., Kuefner, E.A., Wagner, J., Gibbons, K., Sarracino, J., Wiedermann, B., Ben, H.: JSAI: a static analysis platform for javascript. In: Cheung, S.-C., Orso, A., Storey, M.-A.D. (eds.) Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16-22, 2014, pp.\u00a0121\u2013132. ACM (2014). https:\/\/doi.org\/10.1145\/2635868.2635904"},{"key":"763_CR18","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/ASE.2015.28","volume-title":"30th IEEE\/ACM International Conference on Automated Software Engineering","author":"Y. Ko","year":"2015","unstructured":"Ko, Y., Lee, H., Dolby, J., Ryu, S.: Practically tunable static analysis framework for large-scale javascript applications (T). In: Cohen, M.B., Grunske, L., Whalen, M. (eds.) 30th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015, pp.\u00a0541\u2013551. IEEE Computer Society (2015). https:\/\/doi.org\/10.1109\/ASE.2015.28"},{"key":"763_CR19","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/2983990.2984023","volume-title":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","author":"S. Kulkarni","year":"2016","unstructured":"Kulkarni, S., Mangal, R., Zhang, X., Naik, M.: Accelerating program analyses by cross-program training. In: Visser, E., Smaragdakis, Y. (eds.) Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30\u00a0- November 4, 2016, pp.\u00a0359\u2013377. ACM (2016). https:\/\/doi.org\/10.1145\/2983990.2984023"},{"key":"763_CR20","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/3460319.3464818","volume-title":"ISSTA \u201921: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021","author":"Y. Lyu","year":"2021","unstructured":"Lyu, Y., Volokh, S., Halfond, W.G.J., Tripp, O.: SAND: a static analysis approach for detecting SQL antipatterns. In: Cadar, C., Zhang, X. (eds.) ISSTA \u201921: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021, pp.\u00a0270\u2013282. ACM (2021). https:\/\/doi.org\/10.1145\/3460319.3464818"},{"key":"763_CR21","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.-H., 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":"763_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-54804-8_9","volume-title":"Proceedings","author":"R. Mudduluru","year":"2014","unstructured":"Mudduluru, R., Ramanathan, M.K.: Efficient incremental static analysis using path abstraction. In: Gnesi, S., Rensink, A. (eds.) Proceedings, Fundamental Approaches to Software Engineering\u00a0- 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Lecture Notes in Computer Science, vol.\u00a058411, pp.\u00a0125\u2013139. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-642-54804-8_9"},{"key":"763_CR23","series-title":"LIPIcs","doi-asserted-by":"publisher","first-page":"14:1","DOI":"10.4230\/LIPIcs.ECOOP.2022.14","volume-title":"36th European Conference on Object-Oriented Programming","author":"R. Mukherjee","year":"2022","unstructured":"Mukherjee, R., Tripp, O., Liblit, B., Wilson, M.: Static analysis for AWS best practices in python code. In: Ali, K., Vitek, J. (eds.) 36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, June 6-10, 2022. LIPIcs, vol.\u00a0222, pp.\u00a014:1\u201314:28. Schloss Dagstuhl\u00a0- Leibniz-Zentrum f\u00fcr Informatik (2022). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2022.14"},{"issue":"12","key":"763_CR24","doi-asserted-by":"publisher","first-page":"1537","DOI":"10.1109\/32.58766","volume":"15","author":"L.L. Pollock","year":"1989","unstructured":"Pollock, L.L., Soffa, M.L.: An incremental version of iterative data flow analysis. IEEE Trans. Softw. Eng. 15(12), 1537\u20131549 (1989). https:\/\/doi.org\/10.1109\/32.58766","journal-title":"IEEE Trans. Softw. Eng."},{"key":"763_CR25","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/199448.199462","volume-title":"Conference Record of POPL\u201995: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995","author":"T.W. Reps","year":"1995","unstructured":"Reps, T.W., Horwitz, S., Sagiv, S.: Precise interprocedural dataflow analysis via graph reachability. In: Cytron, R.K., Lee, P. (eds.) Conference Record of POPL\u201995: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp.\u00a049\u201361. ACM Press (1995). https:\/\/doi.org\/10.1145\/199448.199462"},{"key":"763_CR26","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/3315568.3329965","volume-title":"Proceedings of the 8th ACM SIGPLAN International Workshop on State of the Art in Program Analysis","author":"P.D. Schubert","year":"2019","unstructured":"Schubert, P.D., Leer, R., Hermann, B., Bodden, E.: Know your analysis: how instrumentation aids understanding static analysis. In: Grech, N., Lavoie, T. (eds.) Proceedings of the 8th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA, June 22, 2019, pp.\u00a08\u201313. ACM (2019). https:\/\/doi.org\/10.1145\/3315568.3329965"},{"issue":"1","key":"763_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-022-00333-1","volume":"29","author":"P.D. Schubert","year":"2022","unstructured":"Schubert, P.D., Gazzillo, P., Patterson, Z., Braha, J., Schiebel, F., Hermann, B., Wei, S., Bodden, E.: Static data-flow analysis for software product lines in C. Autom. Softw. Eng. 29(1), 35 (2022). https:\/\/doi.org\/10.1007\/s10515-022-00333-1","journal-title":"Autom. Softw. Eng."},{"unstructured":"Semgrep, Inc.: Semgrep (2020). https:\/\/semgrep.dev","key":"763_CR28"},{"key":"763_CR29","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1109\/ICSM.2001.972787","volume-title":"2001 International Conference on Software Maintenance","author":"A.L. Souter","year":"2001","unstructured":"Souter, A.L., Pollock, L.L.: Incremental call graph reanalysis for object-oriented software maintenance. In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6\u201310, 2001, pp.\u00a0682\u2013691. IEEE Computer Society (2001). https:\/\/doi.org\/10.1109\/ICSM.2001.972787"},{"key":"763_CR30","series-title":"LIPIcs","doi-asserted-by":"publisher","first-page":"18:1","DOI":"10.4230\/LIPIcs.SNAPL.2017.18","volume-title":"2nd Summit on Advances in Programming Languages","author":"J. Toman","year":"2017","unstructured":"Toman, J., Grossman, D.: Taming the static analysis beast. In: Lerner, B.S., Bod\u00edk, R., Krishnamurthi, S. (eds.) 2nd Summit on Advances in Programming Languages, SNAPL 2017, Asilomar, CA, USA, May 7-10, 2017. LIPIcs, vol.\u00a071, pp.\u00a018:1\u201318:14. Schloss Dagstuhl\u00a0- Leibniz-Zentrum f\u00fcr Informatik (2017). https:\/\/doi.org\/10.4230\/LIPIcs.SNAPL.2017.18"}],"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-00763-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-024-00763-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-024-00763-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,27]],"date-time":"2024-09-27T13:04:57Z","timestamp":1727442297000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-024-00763-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,27]]},"references-count":30,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["763"],"URL":"https:\/\/doi.org\/10.1007\/s10009-024-00763-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"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"}}]}}