
Static analysis tools for finding software vulnerabilities in code
GrammaTech is a cybersecurity company based in the United States, founded in 1988. It has 7 products listed on CybersecTools.
GrammaTech is a software security company that originated as a spin-off from Cornell University. The company develops software assurance tools and cybersecurity solutions focused on identifying critical software vulnerabilities through static analysis techniques.
The company's flagship product is CodeSonar, a commercial static application security testing (SAST) platform that performs static analysis of both source code and binary code. CodeSonar is designed to integrate within DevOps and DevSecOps pipelines, enabling developers to identify and eliminate critical software defects during the development process.
The platform is used across various sectors including embedded software development, IoT devices, and government applications.
GrammaTech employs a team of software scientists including over 20 PhDs in computer science and mathematics who work on advancing software analysis and hardening techniques. The company provides solutions for software supply chain security, helping organizations identify vulnerable software components in commercial applications.
The company serves both commercial manufacturers and government clients, including providing SAST capabilities for DoD Platform One. Their technology addresses security challenges in increasingly complex software environments, particularly in IoT device software and embedded systems. GrammaTech offers products, research services, and innovative solutions aimed at finding and remediating software vulnerabilities before they can be exploited.
In 2019, GrammaTech was acquired by Five Points Capital and continues to operate from Ithaca, New York.
To learn more about the company, see GrammaTech's funding, hiring and news on Mandos.
Fast disassembler producing reassemblable assembly code using Datalog
FPGA design analysis platform for vulnerability detection and reverse engineering
FPGA trust assessment tool for detecting hardware Trojans and counterfeits
Generates test cases by injecting known bugs into code for testing DevSecOps.
Framework for modeling access control and attack graphs in networked systems
Runtime monitoring and automated mitigation for execution anomalies
Firmware malware detection & prevention using hypervisor-based monitoring
More on Mandos: GrammaTech's funding, headcount, hiring, news and competitors.
Explore on MandosMandos MCP: ask about all 9,023 products.
Connect your AI