I would like to have an export tool, in order to generate a report listing every vulnerability found, and the associated file + line number. I don't know if you plan on including such a tool into your work (if you do, that would be amazing).
In the meantime I tried to use the .security-notes.json to generate such a report. The problem is that the modifications I make are not saved into this file before I close vscode... This means that I cannot generate this report right after doing a modification. I need to restart vscode to see the modifications that were made.