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