Kestrel Technology LLC
Kestrel Technology is a small business developing world-class static analysis tools. We develop
and sell products and intellectual property for software source code verification and for binary
reverse engineering, malware analysis, or incident response.
Kestrel Technology offers comprehensive static analysis tools for proving safety properties of
embedded systems software. Providing incremental and scalable analysis support throughout
the development lifecycle, our technology provides expert analysis support throughout the Wind
This integration provides Wind River and Kestrel Technology customers with higher confidence and faster verification for their mission-critical systems.
Kestrel Technology's program analysis technology offers a unique and valuable approach verification. Working from proof obligations on a memory safety model defined in the source language, and taking a sound analysis stance, our approach avoids the issues surrounding bug reports and false positives. Instead we provide analysis results that guide developers toward making improvements for hardening their software. Integrating the analysis results to suit the Wind River Workbench tooling facilitates the improvement productivity and repairs. Specializing the analyzers to interleave information from the VxWorks and related toolchain libraries greatly improves the quality and accelerates delivery of the automated analysis results.
Titanium Cloud ecosystem
Introducing Wind River Titanium Cloud, the ecosystem of products around Wind River Titanium Server for Network Functions Virtualization (NFV).
Developing and maintaining a board support package (BSP) requires a dedicated embedded software staff with expertise on the hardware, the operating system, and optional software stacks.
Wind River Partner Program Brochure
The Wind River Partner Program provides a scalable platform for our partners to optimize, validate, and market compelling joint value propositions to our existing and growing base of customers.
A Crayon Simple Look at Wind River
A three-minute video describing in simple terms what Wind River is, the extraordinary things that we helps our customers do, and why now is a particularly exciting time to be here.