Understanding the Gaps in Static Program Analysis
The study of large corpora of programs traditionally focuses on some form of static analysis of programs in order to analyse some of their characteristics. Making programs compilable or even executable is challenging, but facilitates the study of runtime characteristics outside the reach of static analysis.
We will present an experiment that is based on a set of executable Java programs (the xcorpus). A high coverage driver was used to exercise the programs and record runtime behaviour, in particular method invocations. This was then used to detect false negatives (gaps) of various static analyses. This study provides new insights into the recall rates (“soundness”) of static analysis, which particular language features cause false negatives and to which extent, how the precision of analysis influences recall, and how effective state-of-the-art “reflection support” features in static analysis are.
I am an Associate Professor in the School of Engineering and Advanced Technology (SEAT) at the Turitea (Palmerston North) Campus of Massey University. I have a Master in Mathematics and a PhD in Computer Science from the University of Leipzig. I have worked for a couple of years in industry as consultant in Germany, Namibia, Switzerland and the UK, and returned in 2003 to academia. My research interests are in the areas of software componentry and evolution and static analysis.
Mon 21 Oct Times are displayed in time zone: (GMT+03:00) Beirut change
|14:00 - 14:30|
Jens DietrichVictoria University of Wellington
|14:30 - 15:00|
Rohan AcharUC Irvine
|15:00 - 15:30|
Jens PalsbergUniversity of California, Los Angeles