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