We are developing power tools that allow developers to automatically fix security problems in their software.

Currently, we are offering solutions for Java and C developers.
1. Program Transformations to Fix Security Problems
* Memory Corruption
* Resource/Memory Leak
* Buffer Overflow (C)
* Bad Pointer Arithmetic (C)
* SQL Injection (Java)
* Integer Handling Issues
* Concurrency Issues
2. Automatic Compliance to Secure Coding Standards
* CERT Secure Coding Standard for Java
* CERT Secure Coding Standard for C
* MISRA Standard
3. Correct and Complex Refactoring for C and Java
4. Custom Refactoring for Fixing Security and Performance Issues

HQ: Milpitas, California, United States
Country: USA
Establishment
Year:
2015
Company
Stage:
Mature
Estimated
Employees:
11 .. 50
Estimated
Revenues
$M 3.00
Raised
Funding:
$M 0.32