Polyspace® static analysis helps software developers and security engineers address the security challenges of developing embedded applications. Polyspace enables you to comply with security standards, such as CWE and Cert C, and detect a wide variety of critical software defects and security vulnerabilities. Furthermore, you can prove absence of certain critical vulnerabilities, such as buffer overflows, and ensure that your individual software modules are robust.
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .Select web site
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.