Does Polyspace Bug Finder does Cross Module Analysis

As we work on different Static Analysis Tool, We come across QA-C and Cross Module Analysis feature ;We would like to know that Bug Finder Does Cross Module Analysis.

Answer 1

[Alexandre De Barros]

Hi !

If, by "Cross Modules Analysis", you mean "finding inconsistency between different definitions/declarations in different files (similar to link problems)", then yes, Polyspace Bug Finder can detect this family of problems. See the defect 'Declaration_Mismatch' in particular.

Best regards,

Alex

[Shivam Chaturvedi]

Hi Alex,

I believe Girisha is saying about the following which is taken from a QA-C PDF that I found online:

" Cross Module Analysis

Link time errors and anomalies such as multiply defined objects / functions and incompatible declarations – problems which a linker will seldom identify "

Source Link: QA-C Summary