An interpreter and analyzer for DOS, VMS, and Unix. Seems to have developed out of Alan Feuer's work at AT&T on si. There were three products under the name Safe-C, a trainer, an analyzer, and an interpreter.