The Community for Technology Leaders
Software Engineering, International Conference on (2007)
Minneapolis, Minnesota
May 20, 2007 to May 26, 2007
ISSN: 0270-5257
ISBN: 0-7695-2828-7
pp: 240-250
Suresh Jagannathan , Purdue University
Murali Krishna Ramanathan , Purdue University
Ananth Grama , Purdue University
ABSTRACT
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mutex init must always be present on all program paths before a call to pthread mutex lock ). Oftentimes, however, these protocols are neither well-documented, nor easily derived. As a result, protocol violations can lead to subtle errors that are difficult to identify and correct. <p>In this paper, we present CHRONICLER, a tool that applies scalable inter-procedural path-sensitive static analysis to automatically infer accurate function precedence protocols. CHRONICLER computes precedence relations based on a program?s control-flow structure, integrates these relations into a repository, and analyzes them using sequence mining techniques to generate a collection of feasible precedence protocols. Deviations from these protocols found in the program are tagged as violations, and represent potential sources of bugs.</p> <p>We demonstrate CHRONICLER?s effectiveness by deriving protocols for a collection of benchmarks ranging in size from 66K to 2M lines of code. Our results not only confirm the existence of bugs in these programs due to precedence protocol violations, but also highlight the importance of path sensitivity on accuracy and scalability.</p>
INDEX TERMS
null
CITATION
Suresh Jagannathan, Murali Krishna Ramanathan, Ananth Grama, "Path-Sensitive Inference of Function Precedence Protocols", Software Engineering, International Conference on, vol. 00, no. , pp. 240-250, 2007, doi:10.1109/ICSE.2007.63
97 ms
(Ver )