Need help with polyspace bug finder when compiler and target is not already configured

Hello,

I am trying to run an application on polyspace bug finder , the compiler and target is not already configured in that . The application was developed on Atmel Studio 7.0 which uses gnu compiler internally. The target board it was created for was atmega 32.

I am using the approach of creating project using build command as it is shown in following link: https://www.mathworks.com/help/bugfinder/ug/add-source-files-for-polyspace-analysis.html.

When I run the project I get following warnings and errors:

may I know why this occurs and how to avoid this ?

Thanks

Nidhi

Answer 1

[Alexandre De Barros]

Hello,

Difficult to answer with just a screenshot, but I can see that a project has been created. Could you confirm that ? (click Finish to close the wizard).

Alex

[Nidhi Mehta]

Hello,

Yes that's right project has been created.I do see some results after running bug finder. I am not too confident if they are right because of these warnings.Would the result be right even when it says "build deactivated"? I specified target as atmega32 in configuration after creation of project. I created it using mcpu option.

Thanks,

Nidhi

[Alexandre De Barros]

Hello,

Are all your files been correctly analyzed (i.e. you have no compilation errors) ? You can check that in the dashboard. If yes, then it means that polyspace-configure ran successfully.

If not, you may contact the technical support.

Best regards,

Alexandre

[Nidhi Mehta]

Hello,

Yes they are correctly analyzed . No compilation error shows on dashboard

Thank you,

Nidhi

[Alexandre De Barros]

Ok, good to know !

By the way, this message is no longer an error with recent versions of polyspace-configure. Could you set your question as "Answered" ?

Thanks

Alex

[Nidhi Mehta]

Yes , sure will do it .

Thanks,

Nidhi