git-afsantos / haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.
MIT License
190 stars 37 forks source link

Show Rule IDs and Reporting Plugin #56

Closed git-afsantos closed 2 months ago

git-afsantos commented 5 years ago

Now that users can blacklist individual rules (#53), it would be useful to have the HTML issue reports show the rule ID for each report, so that users know what to write in the settings file.

Additionally, it would be useful for each issue to also specify which plugin raised it, in case users want to blacklist that plugin.