Other Pages
To further enhance our position as the specialized solution provider in the embedded systems market, Techkinetics has expanded its product lines through cooperation with Coverity Inc., an award-winning software engineering company that provides highly effective automated static source code analysis tools to improve the software development process.
Coverity’s advanced technology helps companies deliver the most reliable and secure software possible, by providing automated tools that enable software developers to quickly, thoroughly, and accurately analyze their source code early in the development process. These tools enable software developers to pinpoint defects that could cause catastrophic failures or security breaches.
- Automated Static Checkers
- Low False Positive Rates of <10%
- Improve product stability, security and quality
- Decrease time to market
- Supports C/C++ and Java Languages
- 100% Path Coverage
Detects and pinpoint critical bugs that causes
- System Crash/Hang
- Memory Corruption
- Security Vulnerabilities/Risk
- Dead Locks
Flagship Products:
- Coverity Prevent SQS
- Coverity Extend SQS
- Structure 101TM Architecture
Reference Sites (open source) (contract with Department of Homeland Security USA): http://www.scan.coverity.com
For more product range and details, please visit http://www.coverity.com/html/prod_prevent.html

Coverity Inc.