Our KT Advance memory safety analyzer for C is ideally suited to provide verification support for embedded systems. Integrated with the Wind River Workbench® and VxWorks® development tool chains and leveraging API information from the toolkit libraries, application developers can use KT Advance to harden their real-time and safety-critical application software for memory safety. Learn more about Wind River by following the social media links below.
About Wind River
Wind River is a global leader in delivering software for the Internet of Things (IoT). The company’s technology has been powering the safest, most secure devices in the world since 1981 and today is found in more than 2 billion products. Wind River offers a comprehensive edge-to-cloud product portfolio that is backed by world-class global professional services, award-winning customer support, and a broad partner ecosystem. Wind River software and expertise are accelerating digital transformation of critical infrastructure systems that demand the highest levels of safety, security, performance, and reliability. To learn more, visit www.windriver.com.
Wind River and the Wind River logo are trademarks or registered trademarks of Wind River in the United States and other countries.