Schema for XML import of comments in polyspace code prover

Hello,

In polyspace code prover, we have a use case where same pointer is used at more than 100 lines.

We wanted to use an input file like xml to "Import Comments" as justifications into polyspace code prover.

I see an XML or rte import is possible but could not find the format for these files.

Aim is to read and assess each line of code, this will not be skipped.

But the expectation is to mark the major chunk of findings which is same and modify them in bulk.

Anyone tried this ? Please shed some light on this topic.