Writing Secure Code with Polyspace Static Analysis
With the rising threat of cyberattacks, security risks pose a formidable challenge to software development and the growing complexity of the software makes it extremely demanding. More and more organizations are adopting Polyspace static analysis tools, to prevent security related defects and mitigate these risks, as part of their development process.
Using a unique formal-method approach called abstract interpretation, Polyspace analyzes your code statically to detect defects and security vulnerabilities early, as you develop new code or analyze legacy code. Learn how to use Polyspace static analysis tools to improve software quality & security and prevent software related defects in your embedded devices by
- Enforce coding standards such as MISRA 2012 to prevent vulnerabilities
- Identifying security vulnerabilities and various other categories of defects
- Run time analysis to identify the edge cases and prevent any defects from escaping
Recorded: 24 Sep 2015
You can also select a web site from the following list
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.