Tesla-cfa is a project mainly written in OCAML and C, it's free.
Control Flow Automata tools
Tools to manipulate Control Flow Automata for the TESLA project. Not for general use.