Imperial College London
Professor Cristian Cadar

ProfessorCristianCadar

Faculty of Engineering, Department of Computing

Professor of Software Reliability
 
 
 
//

Contact

 

c.cadar Website

 
 
//

Location

 

435Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Kapus:2019:10.1145/3314221.3314610,
author = {Kapus, T and Ish-Shalom, O and Itzhaky, S and Rinetzky, N and Cadar, C},
doi = {10.1145/3314221.3314610},
pages = {874--888},
publisher = {ACM},
title = {Computing summaries of string loops in C for better testing and refactoring},
url = {http://dx.doi.org/10.1145/3314221.3314610},
year = {2019}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - Analysing and comprehending C programs that use stringsis hard: Using standard library functions for manipulatingstrings is not enforced and programs often use complex loopsfor the same purpose. We introduce the notion of memorylessloops that capture some of these string loops and presenta counterexample-guided inductive synthesis approach tosummarise memoryless string loops using C standard libraryfunctions, which has applications to testing, optimizationand refactoring.We prove our summarization is correct for arbitrary inputstrings and evaluate it on a database of loops we gatheredfrom a set of 13 open-source programs. Our approach cansummarize over two thirds of memoryless loops in less than5 minutes of computation time per loop. We then show thatthese summaries can be used to (1) enhance symbolic ex-ecution testing, where we observed median speedups of79x when employing a string constraint solver, (2) optimizenative code, where certain summarizations led to signifi-cant performance gains, and (3) refactor code, where wehad several patches accepted in the codebases of popularapplications such as patch and wget.
AU  - Kapus,T
AU  - Ish-Shalom,O
AU  - Itzhaky,S
AU  - Rinetzky,N
AU  - Cadar,C
DO  - 10.1145/3314221.3314610
EP  - 888
PB  - ACM
PY  - 2019///
SP  - 874
TI  - Computing summaries of string loops in C for better testing and refactoring
UR  - http://dx.doi.org/10.1145/3314221.3314610
UR  - https://dl.acm.org/doi/10.1145/3314221.3314610
UR  - http://hdl.handle.net/10044/1/69967
ER  -
Download