{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T15:28:25Z","timestamp":1750346905962,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation","award":["CCF-1750116"],"award-info":[{"award-number":["CCF-1750116"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377811.3380343","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T18:25:38Z","timestamp":1601576738000},"page":"824-834","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Tailoring programs for static analysis via program transformation"],"prefix":"10.1145","author":[{"given":"Rijnard","family":"van Tonder","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire","family":"Le Goues","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"unstructured":"2019. Clang Static Analyzer. https:\/\/clang-analyzer.llvm.org\/.","key":"e_1_3_2_1_1_1"},{"unstructured":"2019. CodeSonar. https:\/\/www.grammatech.com\/products\/codesonar.","key":"e_1_3_2_1_2_1"},{"unstructured":"2019. Coverity: suppressing asserts. https:\/\/community.synopsys.com\/s\/question\/0D534000046YuzbCAC.","key":"e_1_3_2_1_3_1"},{"unstructured":"2019. Error Prone: Patching. https:\/\/errorprone.info\/docs\/patching.","key":"e_1_3_2_1_4_1"},{"unstructured":"2019. Infer. https:\/\/github.com\/facebook\/infer.","key":"e_1_3_2_1_5_1"},{"unstructured":"2019. NullAway: auto-suppressing. https:\/\/github.com\/uber\/NullAway\/wiki\/Suppressing-Warnings#auto-suppressing.","key":"e_1_3_2_1_6_1"},{"unstructured":"2019. PHPStan. https:\/\/github.com\/phpstan\/phpstan.","key":"e_1_3_2_1_7_1"},{"unstructured":"2019. Spotbugs. https:\/\/github.com\/spotbugs\/spotbugs.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","volume-title":"Moving Fast with Software Verification. In NASA Formal Methods (NFM '15)","author":"Calcagno Cristiano","year":"2015","unstructured":"Cristiano Calcagno, Dino Distefano, J\u00e9r\u00e9my Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, and Dulma Rodriguez. 2015. Moving Fast with Software Verification. In NASA Formal Methods (NFM '15). 3--11."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/2970276.2970347"},{"doi-asserted-by":"crossref","unstructured":"Maria Christakis Peter M\u00fcller and Valentin W\u00fcstholz. 2015. An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. In Verification Model Checking and Abstract Interpretation (VMCAI '15). 336--354.","key":"e_1_3_2_1_11_1","DOI":"10.1007\/978-3-662-46081-8_19"},{"key":"e_1_3_2_1_12_1","volume-title":"Stuckey","author":"Cornish J. Robert M.","year":"2014","unstructured":"J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald S\u00f8ndergaard, and Peter J. Stuckey. 2014. Analyzing Array Manipulating Programs by Program Transformation. In Logic-Based Program Synthesis and Transformation (LOPSTR '14). 3--20."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/503272.503290"},{"key":"e_1_3_2_1_14_1","volume-title":"Testing Static Analyzers with Randomly Generated Programs. In NASA Formal Methods (NFM '12)","author":"Cuoq Pascal","year":"2012","unstructured":"Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, and Xuejun Yang. 2012. Testing Static Analyzers with Randomly Generated Programs. In NASA Formal Methods (NFM '12). 120--125."},{"key":"e_1_3_2_1_15_1","volume-title":"OOPSLA","author":"Donaldson Alastair F.","year":"2017","unstructured":"Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, and Paul Thomson. 2017. Automated testing of graphics shader compilers. PACMPL 1, OOPSLA (2017), 93:1--93:29."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1016\/j.entcs.2008.06.039"},{"key":"e_1_3_2_1_17_1","volume-title":"POPL","author":"Gorogiannis Nikos","year":"2019","unstructured":"Nikos Gorogiannis, Peter W. O'Hearn, and Ilya Sergey. 2019. A true positives theorem for a static race detector. PACMPL 3, POPL (2019), 57:1--57:29."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1007\/978-3-319-92970-5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1109\/TSE.2004.1265732"},{"key":"e_1_3_2_1_20_1","volume-title":"Understanding the Value of Program Analysis Tools. In Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '07)","author":"Jaspan Ciera","year":"2007","unstructured":"Ciera Jaspan, I-Chin Chen, and Anoop Sharma. 2007. Understanding the Value of Program Analysis Tools. In Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '07). 963--970."},{"key":"e_1_3_2_1_21_1","volume-title":"International Conference on Software Engineering","author":"Johnson Brittany","year":"2013","unstructured":"Brittany Johnson, Yoonki Song, Emerson R. Murphy-Hill, and Robert W. Bowdidge. 2013. Why Don't Software Developers use Static Analysis Tools to Find Bugs?. In International Conference on Software Engineering, 2013 ('13). 672--681."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/161494.161501"},{"key":"e_1_3_2_1_23_1","volume-title":"Adve","author":"Lattner Chris","year":"2004","unstructured":"Chris Lattner and Vikram S. Adve. 2004. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In Code Generation and Optimization (CGO '04). 75--88."},{"key":"e_1_3_2_1_24_1","volume-title":"Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. In USENIX Annual Technical Conference. 601--614","author":"Lawall Julia","year":"2018","unstructured":"Julia Lawall and Gilles Muller. 2018. Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. In USENIX Annual Technical Conference. 601--614."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1145\/2644805"},{"key":"e_1_3_2_1_26_1","volume-title":"On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. In Compiler Construction (CC '08)","author":"Logozzo Francesco","year":"2008","unstructured":"Francesco Logozzo and Manuel F\u00e4hndrich. 2008. On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. In Compiler Construction (CC '08). 197--212."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1109\/32.120313"},{"volume-title":"The Impact of Program Transformations on Static Program Analysis. In International Symposium on Static Analysis (SAS '18)","author":"Kedar","unstructured":"Kedar S. Namjoshi and Zvonimir Pavlinovic. 2018. The Impact of Program Transformations on Static Program Analysis. In International Symposium on Static Analysis (SAS '18). 306--325.","key":"e_1_3_2_1_28_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1109\/SP.2018.00056"},{"key":"e_1_3_2_1_30_1","first-page":"21","article-title":"Enhancing Server Availability and Security Through Failure-Oblivious Computing","volume":"4","author":"Rinard Martin C","year":"2004","unstructured":"Martin C Rinard, Cristian Cadar, Daniel Dumitran, Daniel M Roy, Tudor Leu, and William S Beebee. 2004. Enhancing Server Availability and Security Through Failure-Oblivious Computing.. In OSDI, Vol. 4. 21--21.","journal-title":"OSDI"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1145\/3188720"},{"key":"e_1_3_2_1_32_1","volume-title":"Semantic Crash Bucketing. In International Conference on Automated Software Engineering (ASE '18)","author":"van Tonder Rijnard","year":"2018","unstructured":"Rijnard van Tonder, John Kotheimer, and Claire Le Goues. 2018. Semantic Crash Bucketing. In International Conference on Automated Software Engineering (ASE '18). 612--622."},{"key":"e_1_3_2_1_33_1","volume-title":"Static Automated Program Repair for Heap Properties. In International Conference on Software Engineerinng (ICSE '18)","author":"van Tonder Rijnard","year":"2018","unstructured":"Rijnard van Tonder and Claire Le Goues. 2018. Static Automated Program Repair for Heap Properties. In International Conference on Software Engineerinng (ICSE '18). 151--162."},{"key":"e_1_3_2_1_34_1","volume-title":"Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators. In Conference on Programming language Design and Implementation (PLDI '19)","author":"van Tonder Rijnard","year":"2019","unstructured":"Rijnard van Tonder and Claire Le Goues. 2019. Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators. In Conference on Programming language Design and Implementation (PLDI '19)."},{"key":"e_1_3_2_1_35_1","volume-title":"Example-based Refactorings with Refaster. In Workshop on Refactoring Tools (WRT@SPLASH '13)","author":"Wasserman Louis","year":"2013","unstructured":"Louis Wasserman. 2013. Scalable, Example-based Refactorings with Refaster. In Workshop on Refactoring Tools (WRT@SPLASH '13). 25--28."},{"key":"e_1_3_2_1_36_1","volume-title":"Finding and Understanding Bugs in C Compilers. In Conference on Programming Language Design and Implementation (PLDI '11)","author":"Yang Xuejun","year":"2011","unstructured":"Xuejun Yang, Yang Chen, Eric Eide, and John Regehr. 2011. Finding and Understanding Bugs in C Compilers. In Conference on Programming Language Design and Implementation (PLDI '11). 283--294."}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"],"acronym":"ICSE '20","name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul South Korea"},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380343","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377811.3380343","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377811.3380343","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:57Z","timestamp":1750202637000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380343"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":36,"alternative-id":["10.1145\/3377811.3380343","10.1145\/3377811"],"URL":"https:\/\/doi.org\/10.1145\/3377811.3380343","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}