Essaimage de la Cornell University, GrammaTech commercialise des outils d'analyse statique de code aux entreprises qui mettent en place une politique zéro défaut en termes d'erreurs et de vulnérabilités de leurs logiciels. CodeSonar, le produit phare de GrammaTech, est censé réaliser les analyses statiques les plus approfondies et les plus détaillées du marché.