Since slither 0.8.3, code comments allow custom analysis: https://github.com/crytic/slither/releases/tag/0.8.3 We should document that in secure-contracts
Since slither 0.8.3, code comments allow custom analysis: https://github.com/crytic/slither/releases/tag/0.8.3
We should document that in secure-contracts