Vérificateur de code C
Tuteur: Nicolas Bedon, Tél: 01 60 95 75 58, Bureau 4B073
Langage de programmation: Java ou C
Prérequis: pour les gens qui prennent l'option de compilation
Environnements de developpement: Linux, HPUX
Niveau: difficile
Sujet: La commande lint, disponible sur certains systèmes uniquement, permet de vérifier tout un tas de choses dans les sources d'un programme C, comme par exemple que les types des arguments d'un appel de fonctions correspondent bien avec les types des paramètres de la fonction. Vous devrez réécrire la commande lint, en partant de 0, ou bien encore en modifiant le compilateur gcc. Ce projet est reservé à des gens motivés.
Pour plus de détails, contactez le tuteur !