Securify, the security scanner for smart contracts funded by the Ethereum foundation, is now available on GitHub…