ST-analyzer tutorial