Hello. Securify looks fantastic.
I just checked all the contracts of the Tweedentity dapp (https://tweedentity.com). While my code looks good, there are a few alerts relative to the contracts imported from OpenZeppelin-solidity.
If you try yourself checking, for example, the code at
https://etherscan.io/address/0xf36a1c42a7a58801254a53ac54b0b5164698b8d4#code
you will see that it reports issues with theHasNoEther contract.
They look to me like false alarms. Would you confirm that?