Sommaire

Le PC-lint est un analyseur statique de langage de programmation C et C++ proposé par Gimpel Software. Le PC-lint est un progiciel trouvant des errata dans les programmes C et C++ composés d'un ou plusieurs modules. Il utilise K&R et ANSI comme norme supposée pour C avec des allocations historiques pour K&R C. Il utilise le document du comité ANSI/ISO comme norme pour C++. Un certain nombre de fonctionnalités de la norme C99 ont été intégrées au produit, mais nous n'accepte pas la totalité du C99. La mémoire totale requise dépendra de la taille des programmes utilisateur. En particulier, les besoins d'entreposage en première approximation dépendent de la taille des fichiers d'entête. Une estimation brute de l'utilisation d'entreposage est de 1 Mo de mémoire supplémentaire disponible pour chaque 2000 lignes de fichiers d'entête.

Lorsque PC-lint a été développé pour la première fois, l'environnement d'exploitation était MS-DOS avec sa redoutable limite DOS de 640 Ko. Le soulagement de cette limite est venu de diverses manières : OS/2, DOS extenders, Windows NT et Windows 95. Pendant une grande partie de la période initiale pendant laquelle PC-lint était disponible dans le commerce, la principale méthode d'obtention grand espace d'adressage était grâce à l'utilisation de l'extension DOS Phar Lap en 32 bits.