[polyspace code prover] How to fix the link errors ?
显示 更早的评论
Hello All,
I am using polyspace Code Prover R2014b; and I want to fix the link errors detected ,
i want to know also if the polyspace continue with the analysis when he detect the links errors or not ?
i have also tryed to surround the link errors with polyspace bug finder R2015b with the declarations mismatch option but i didn't find any errors
thank you very much
采纳的回答
Alexandre De Barros
2016-11-16
编辑：Alexandre De Barros
2016-11-17
Hello,
Link errors with Code Prover will stop the verification process because they represent an inconsistency in the source code that Code Prover cannot bypass.
Let's take the example of a function which is supposed to return an int in one file
int foo(void);
but that returns a float in another file
float foo(void) { ... }
What is the return type that Polyspace Code Prover should consider? It is not possible for a tool that proves code correctness to continue in this situation. That's why Polyspace stops and display a message showing the inconsistency.
See this link on how to interpret and fix this kind of errors: http://www.mathworks.com/help/codeprover/ug/compilation-error-overview.html?searchHighlight=link#bu7wiec
Another page that can help you: http://www.mathworks.com/help/codeprover/troubleshooting-in-polyspace-code-prover.html (paragraph Compilation and Linking)
Best regards,
Alexandre
更多回答（0 个）
类别
在 帮助中心 和 File Exchange 中查找有关 Generate Report 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
