The Gecos (Generic Compiler Suite) project is an open source compiler infrastructure developed in the CAIRN group since 2004. Gecos was initially designed so as to address part of the shortcomings of existing C/C++ infrastructures such as SUIF. Its main characteristics are highlighted below:
ompVerifyis the result of such work in the context of OpenMP annotations annalysis, such as
#pragma omp for parallel.
Gecos is an open source software and is hosted on Inria GForge.