Fine-Grained Analyses for Evolution-Aware Runtime Verification
Runtime verification found many bugs by monitoring passing tests in many open-source projects against formal specifications (specs). But, RV is often too slow for use in continuous integration. So, evolution-aware techniques were proposed to speed up RV by re-monitoring only a subset of specs affected by code changes. These techniques use coarse-grained class-level analyses, so they can sub-optimally and imprecisely re-monitor unaffected specs.
We propose FineMOP to speed up evolution-aware RV by using fine-grained analyses to re-monitor fewer unaffected specs. The key idea is simple: changes often do not require re-monitoring specs that are only related to unchanged parts of changed classes. We implement six variants of three fine-grained analyses in FineMOP and evaluate it on 1,104 revisions of 68 open-source Java projects. Compared with two class-level techniques, FineMOP is up to 4.86x faster, re-monitors up to 81.04% fewer specs per revision, and finds 99.68% of all new violations that these techniques find. Also, FineMOP and Regression Test Selection (RTS) are complementary: combining FineMOP with RTS is faster than FineMOP or RTS alone.
Wed 15 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
14:00 - 15:30 | Testing and Analysis 4Research Track / SE In Practice (SEIP) at Oceania IX Chair(s): Anil Koyuncu Bilkent University | ||
14:00 15mTalk | SymRadar: PoC-Centered Bounded Verification for Vulnerability Repair Research Track | ||
14:15 15mTalk | Fine-Grained Analyses for Evolution-Aware Runtime Verification Research Track Pengyue Jiang Cornell University, Kevin Guan Cornell University, M. Mahdi Khosravi Middle East Technical University, Moustafa Ismail Middle East Technical University, Marcelo d'Amorim North Carolina State University, Owolabi Legunsen Cornell University | ||
14:30 15mTalk | An Empirical Study on Static Application Security Testing (SAST) Tools for PythonDistinguished Paper Award Research Track Liu Zhuohang Nankai University, Zhi Wang Nankai University, Haotong Liu Nankai University, Wanpeng Li University of Liverpool | ||
14:45 15mTalk | NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery Research Track Jikai Wang Huazhong University of Science and Technology, Ningyu He Hong Kong Polytechnic University, Tianming Liu Huazhong University of Science and Technology, Junhai Wang Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology Media Attached File Attached | ||
15:00 15mTalk | PyXray: Practical Cross-Language Call Graph Construction through Object Layout Analysis Research Track Georgios Alexopoulos University of Athens, Thodoris Sotiropoulos ETH Zurich, Georgios Gousios Endor Labs, Zhendong Su ETH Zurich, Dimitris Mitropoulos University of Athens Pre-print | ||
15:15 15mTalk | HapCheck: DSL-Based Static Bug Detection Framework for OpenHarmony SE In Practice (SEIP) Xitong Zhong Beihang University, Chang Liu Beihang University, Runlin Liu Beihang University, Zifu Xu Beihang University, Zhengyao Liu Beihang University, Juqi Zhou Beihang University, Gang Fan Huawei Hong Kong Research Centre, Mingyi Zhou Beihang University, Xiang Gao Beihang University, Li Li Beihang University | ||