Use of Slither Foundry test coverage Security best practices: Reentrancy guard Check effect pattern Pull over push pattern Avoid external calls as much as possible