FrontC is an OCAML library providing a C parser and lexer. The result is a syntactic tree easy to process with usual OCAML tree management.
It provides support for ANSI C syntax, old-C K&R style syntax and the standard GNU CC attributes.
OTAWA is a tool to compute Worst Case Excution Time by static analysis. It provides a rich framework for performing static analyses on program binaries and is versatile enough to accept many different WCET computation methods. It is designed to support multiple architecture and to make its extensions easier.
It is delivered as a C++ library with some utilities to process binary programs.