GeCoS

"The GeCoS (Generic Compiler Suite) project is an open source compiler infrastructure developed in the CAIRN group since 2004.

• GeCoS is a C compiler infrastructure entirely written in Java following Model Driven Engineering design principles. In particular GeCoS leverage on the Eclipse Modeling Framework (EMF).

• GeCoS is mainly a Source to Source compiler (see the S2S4HLS project) targeting HLS tools (Vivado HLS, Catapult-C, etc.) but also automatic parallelization for heterogeneous embedded multi-cores.

GeCoS is an open source software and is hosted on Inria GForge.

The tools are:

• ompVerify : an OpenMP static analysis tool for improving programmers productivity by reporting errors in the Eclipse C editor. ompVerify is the result of such work in the context of OpenMP annotations analysis, such as #pragma omp for parallel.
• Shell scripts and useful commands : A collection of scripts to help you manage and search through the SVN repositories

http://gecos.gforge.inria.fr/doku/doku.php