TAC , assessing C software