Copyright for dcc (Disciplined C Checker)
-----------------------------------------

//  Copyright Ecole Superieure d'Electricite, France, 1995.
//  All Rights Reserved.