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: cours de compilation

Environnements de developpement: Linux

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 fonction 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 réservé à des gens motivés.

Pour plus de détails, contactez le tuteur !