Identify software bugs via static analysis

Polyspace Bug Finder™ identifies run-time errors, concurrency issues, security vulnerabilities, and other defects in C and C++ embedded software. Using static analysis, including semantic analysis, Polyspace Bug Finder analyzes software control, data flow, and interprocedural behavior. By highlighting defects as soon as they are detected, it lets you triage and fix bugs early in the development process.

In this webinar we will introduce advanced formal methods based static code analysis techniques for FDA certified medical devices. Through demonstrations and examples, attendees will learn how to use Polyspace products to detect and prove the absence