嗨Ashwini,
没有包集成Polyspace Python。已经说过,您可以运行Polyspace使用系统命令,您可以从Python(使用触发器
os.system
或另一种方式)。记录在所有系统命令
Polyspace分析与Windows或Linux脚本
。具体地说:
- 你跑Polyspace使用polyspace-bug-finder或polyspace-code-prover命令。
- 如果你想重新包装结果使用Python图形和图表,您可以导出到tsv文件(制表符分隔的值)使用polyspace-report-generator命令-generate-results-list-file选择。您可以使用Python命令读取文件的内容。附近(在一个版本中,将在其他格式导出的结果,太)。