A safer subset for ISO C which is based entirely on the measurements reported in “Safer C” and the T experiments and their updated results. There are only about 20 rules but they cover nearly all of the known fault modes provided formally undefined behaviour of ISO C is avoided.
ISOC_subset.pdf (148KB)
reference
Information and Software Technology, 47 (3) (2005), p. 181-187