GrammaTech IncGrammaTech develops and markets static-analysis tools. Our flagship product is CodeSonar, a source-code analyzer that identifies serious bugs at compile time. Our customers include NASA, Smiths Aerospace, Lockheed Martin, Boeing, SanDisk, Credence, and many other companies and government agencies. The company was founded by two professors (Tim Teitelbaum at Cornell University and Tom Reps at the University of Wisconsin). We have about 25 employees, 9 of which are PhD-level researchers/developers with expertise in static analysis. We are growing and profitable.
If you are interested in more information on how Wind River partners with this company, click here.