DARPA Bin2Math
DARPA Bin2Math on SecurityListing: Extracts mathematical algorithms from binary programs for CPS analysis.
DARPA Bin2Math on SecurityListing: Extracts mathematical algorithms from binary programs for CPS analysis.
Rating
4.5 / 5.0
Pricing
Contact vendor
Deployment
SaaS / Cloud
Category
Static Application Security Testing
Product description
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.
Contact Vendor
Interested in DARPA Bin2Math? Get in touch with the vendor.
arrow_upwardPOPULAR
AAROH
AAROH helps customers in Government, Law Enforcement, and Enterprises to identify, prevent, detect, resolve and protect from threats, crimes, breaches & frauds arising due to misuse of digital & commu
Accel
Accel is a leading venture capital firm that invests in people and their companies from the earliest days through all phases of private company growth. Areas of focus include cybersecurity. The firm
360 Total Security
360 company is the largest provider of Internet and mobile security products in China. Founded in 2005, the company is the pioneer of free Internet security. It launched 360 Total Security, 360 Mobil
Adyta
ADYTA is a spin-off of the University of Porto providing specialized cybersecurity solutions adapted to the needs of sovereign institutions, business groups and other organizations that handle informa
