Super. I was working as a software Integrator and using polyspace tool for 1 year. I am using this tool for verifying the application code. As mentioned, It is not required BSW (Third party) and stubs for analysis. The main point I want to mention is, this video was clear for me how polyspace is working in depth. Technically I also know how it will work with options. I also implemented the automated script for this analysis for multiple files and generating results