GrammaTech is a leading developer of software-assurance tools and advanced cyber-security solutions. The company's flagship product, CodeSonar, is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on C/C++, Java, and binary code. GrammaTech's advanced cyber-security solutions are used by government and industry clients to ensure the safety and security of their critical systems and infrastructure. The company was founded in 1988 and is headquartered in Ithaca, New York.