enhancementhelp wanted
Repository metrics
- Stars
- (37 個のスター)
- PR merge metrics
- (30d に merged PR はありません)
説明
Currently no additional includes paths are being passed to the analysis. This may lead to false positives or findings not being reported at all.
We should also indicate that a non-system include wasn't found in the editor (albeit optional).
These need to be made available to the plugin and it seems they are not available yet.