Sparrow
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, and Kwangkeun Yi
Programming Research Lab, ROSAEC Center, Seoul National University

Introduction

Sparrow is a state-of-the-art static analyzer that aims to verify the absence of fatal bugs in C source. Sparrow is designed by Abstract Interpretation and the analysis is sound in design. Sparrow adopts a number of well-founded static analysis techniques for scalability, precision, and user convenience: Sparrow's design and engineering efforts used have been published in the following papers.

Papers

Performance

Sparrow's performance (both in precision and scalability) is being actively improved. Thanks to our general sparse analysis framework, the current Sparrow is 175x more scalable in terms of lines of code and is 1500x faster than the initial version.

Contact

For general questions regarding Sparrow, please send email to pronto _at_ ropas.snu.ac.kr.

Acknowledgement

This work was supported by the Engineering Research Center of Excellence Program of Korea Ministry of Education, Science and Technology(MEST) / National Research Foundation of Korea(NRF) (Grant 2012-0000468) and the Brain Korea 21 Project, School of Electrical Engineering and Computer Science, Seoul National University.