VS Code Extension - inline Bookmarks
the following default trigger words/tags are configured by default:
@todo - (blue) General ToDo remark.@note - (blue) General remark.@remind - (blue) General remark.@follow-up - (blue) General remark.@audit - (red) General bookmark for potential issues.@audit-info - (blue) General bookmark for information to be noted for later use.@audit-ok - (green) Add a note that a specific line is not an issue even though it might look like.@audit-issue - (purple) Reference a code location an issue was filed for.⇒ solgraph
⇒ piet (web)
mythril open source
slither static analysis