1. [n. d.]. manticore. https://github.com/trailofbits/manticore. (09/17/2019). [n. d.]. manticore. https://github.com/trailofbits/manticore. (09/17/2019).
2. [n. d.]. oyente. https://github.com/melonproject/oyente. (08/11/2019). [n. d.]. oyente. https://github.com/melonproject/oyente. (08/11/2019).
3. [n. d.]. paritytech/parity-ethereum: The fast light and robust EVM and WASM client. https://github.com/paritytech/parity-ethereum. (Accessed on 07/02/2019). [n. d.]. paritytech/parity-ethereum: The fast light and robust EVM and WASM client. https://github.com/paritytech/parity-ethereum. (Accessed on 07/02/2019).
4. [n. d.]. SafeMath.sol. https://github.com/OpenZeppelin/. (07/20/2019). [n. d.]. SafeMath.sol. https://github.com/OpenZeppelin/. (07/20/2019).
5. A Survey of Attacks on Ethereum Smart Contracts (SoK)