SOFAS: software analysis services