Atac is a data-flow testing tool for C originally created by Saul London and Bob Horgan (BellCore) and maintained by Thomas E. Dickey at http://invisible-island.net/atac/atac.html