example code to analyze with the StoS tool