I am happy to announce that the camera-ready version of my ICSE paper is available now. The topic is on a special kind of static typestate analysis that I developed to soundly disable unnecessary instrumentation for monitoring typestate properties at runtime. The implementation is available in Clara.
New ICSE paper: Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States
Eric | January 21, 2010New Tech Report: Efficient and Precise Typestate Analysis by Determining Continuation-Equivalent States
Eric | September 10, 2009I just uploaded a new Technical Report. The report (currently under submission) describes a novel typestate analysis, called Nop-Shadows Analysis, that I implemented for my doctoral dissertation. The analysis is certainly one of my dissertation’s major technical contributions. I implemented the Nop-Shadows Analysis in the Clara framework, which means that you are welcome to download it, try it out or extend it.
Now available: Clara, a novel framework for implementing hybrid typestate analyses
Eric | September 10, 2009In my doctoral dissertation (click here for a draft), I present Clara (Compile-time Approximation of Runtime Analyses), a novel research framework for the implementation of hybrid typestate analyses. Clara is now online – fully documented – at: http://www.bodden.de/clara/
Typestate properties aid program understanding, and one can even define type systems that prevent programmers from causing typestate errors, or derive static typestate analyses that try to determine whether a given program violates typestate properties. Unfortunately, the typestate-analysis problem is generally undecidable. Researchers have therefore proposed a hybrid approach that uses
static-analysis results to generate a residual runtime monitor. This monitor captures actual property violations as they occur, but only updates its internal state at relevant statements, as determined through static analysis.