Slither provided some useful plugin to perform static analysis - in particular the upgradeability plugin might be a useful testing tool.
However, since static analysis is known to be quite noisy/give a fair amount of false positives, we should decide whether we should just run slither in the testing pipeline for 'awareness' or flag the github action as failed under some circumstances (i.e.: if slither detects X possibly critical issues).
Slither provided some useful plugin to perform static analysis - in particular the upgradeability plugin might be a useful testing tool. However, since static analysis is known to be quite noisy/give a fair amount of false positives, we should decide whether we should just run slither in the testing pipeline for 'awareness' or flag the github action as failed under some circumstances (i.e.: if slither detects X possibly critical issues).