ansi-c
Generator of ANSI C tracers which output CTF data streams
CBMC starter kit makes it easy to add CBMC verification to a software project
