How do I make Polyspace Bug Finder ignore source files?
古いコメントを表示
I have a Polyspace project which contains a mixture of in-house code and third-party libraries. I want to run Polyspace Bug Finder R2019b on our in-house code, but the third-party libraries are considered "Software of Unknown Provenance" (SOUP) and we do not care about their results.
Is there a way to tell Polyspace to ignore all files of these third-party libraries (both headers and source), and only display results for the in-house code?
採用された回答
その他の回答 (0 件)
カテゴリ
ヘルプ センター および File Exchange で Polyspace Code Prover についてさらに検索
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!