Clippy lints are considered as essential tools for Rust developers, as they can be configured as gate-keeping rules for a Rust project during continuous integration. Despite their availability, little was known about practical application and cost-effectiveness of the lints in reducing code quality issues. In this study, we embark on a com- prehensive analysis to unveil the true impact of Clippy lints in the Rust development landscape. The study is structured around three in- terrelated components, each contributing to the overall effectiveness of Clippy. Firstly, we conduct a comprehensive analysis of Clippy lints in all idiomatic crates-io Rust projects with an average warning density of 21/KLOC. The analysis identifies the most cost-effective lint fixes, offering valuable opportunities for optimizing code quality. Secondly, we actively engage Rust developers through a user survey to garner invaluable feedback on their experiences with Clippy. User insights shed light on two crucial concerns: the prevalence of false positives in warnings and the need for auto-fix support for most warnings. Thirdly, building upon these findings, we engineer three innovative automated refactoring techniques to effectively fix the four most frequent Clippy lints. As a result, the warning density in Rosetta benchmarks has significantly decreased from 195/KLOC to an impressive 18/KLOC, already lower than the average density of the crates-io Rust projects. These results demonstrate tangible ben- efit and impact of our efforts in enhancing the overall code quality and maintainability for Rust developers
Thu 18 AprDisplayed time zone: Lisbon change
10:30 - 11:00 | |||
10:30 30mPoster | Unleashing the Power of Clippy in Real-World Rust Projects Posters Chunmiao Li National Institute of Informatics, Yijun Yu The Open University, UK, Haitao Wu Huawei Technologies Canada, Luca Carlig Huawei Ireland Research Center, Shijie Nie Fujitsu R&D Center, Lingxiao Jiang Singapore Management University | ||
10:30 30mPoster | The Impact of a Live Refactoring Environment on Software Development Posters Sara Fernandes FEUP, Universidade do Porto, Ademar Aguiar Faculty of Engineering, University of Porto & INESC TEC, André Restivo LIACC, Universidade do Porto, Porto, Portugal | ||
10:30 30mPoster | Tracking assets in source code with Security Annotations Posters Daniel Haak Augsburg Technical University of Applied Sciences, Raphael Mayr Augsburg Technical University of Applied Sciences, Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions, Alexandra Teynor Augsburg Technical University of Applied Sciences, Phillip Heidegger Augsburg Technical University of Applied Sciences | ||
10:30 30mPoster | eAIEDF: Extended AI Error Diagnosis Flowchart for Automatically Identifying Misprediction Causes in Production Models Posters | ||
10:30 30mPoster | SLIM: a Scalable and Interpretable Light-weight Fault Localization Algorithm for Imbalanced Data in Microservice Posters Rui Ren DAMO Academy, Alibaba Group Hangzhou, China, Jingbang Yang DAMO Academy, Alibaba Group Hangzhou, China, Linxiao Yang DAMO Academy, Alibaba Group Hangzhou, China, Xinyue Gu DAMO Academy, Alibaba Group Hangzhou, China, Liang Sun DAMO Academy, Alibaba Group Hangzhou, China | ||
10:30 30mPoster | Designing Digital Twins for Enhanced Reusability Posters | ||
10:30 30mPoster | MUFIN: Improving Neural Repair Models with Back-Translation Posters André Silva KTH Royal Institute of Technology, João F. Ferreira INESC-ID and IST, University of Lisbon, He Ye Carnegie Mellon University, Martin Monperrus KTH Royal Institute of Technology | ||
10:30 30mPoster | Blocks? Graphs? Why Not Both? Designing and Evaluating a Hybrid Programming Environment for End-users Posters Nico Ritschel University of British Columbia, Felipe Fronchetti Virginia Commonwealth University, Reid Holmes University of British Columbia, Ronald Garcia University of British Columbia, David C. Shepherd Louisiana State University | ||
10:30 30mPoster | Fault Localization on Verification Witnesses Posters | ||
10:30 30mPoster | Analyzing the Impact of Context Representation and Scope in Code Infilling Posters | ||
10:30 30mPoster | Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification Posters Yepeng Ding University of Tokyo, Arthur Gervais Imperial College London, Roger Wattenhofer ETHZ, Hiroyuki Sato The University of Tokyo DOI Pre-print Media Attached | ||
10:30 30mPoster | Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions Posters Olivier Zeyen University of Luxembourg, SnT, Maxime Cordy University of Luxembourg, Luxembourg, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Mathieu Acher University of Rennes, France / Inria, France / CNRS, France / IRISA, France | ||
10:30 30mPoster | GRAIL: Checking Transaction Isolation Violations with Graph Queries Posters Stefania Dumbrava ENSIIE & Institut Polytechnique de Paris, Zhao Jin ENSIIE, Burcu Kulahcioglu Ozkan Delft University of Technology, Jingxuan Qiu Delft University of Technology | ||