Memory safety analysis optimized for the Wind River VxWorks 653 Platform.
Our KT Advance 653 analyzer offers static analysis for memory safety
properties for use with the
Wind River Workbench®,
tailored especially to excel at the task of analyzing C software written for the
VxWorks® 653 Platform
Learn more about the company's technology, projects, and motivating pursuits.