CREST is a concolic test generation tool for C.