A simple Python program to test Smart Contract using open source package

Job ID: 36670195

Budget: $10 – $15 USD

Hi,

I need a small Python program that will take the EVM bytecode of a smart contract as input and then will use existing tools like Securify/Mythril/Manticore to analyze the bytecode for detecting bugs in the contract.

The program should be simple, and the tools should be installed as packages. Open to any alternative suggestions for tools that can analyze bytecode for detecting bugs.

Please reach out if you are interested and have experience.

Thank you.
Related categories: Python Blockchain Ethereum Solidity Smart Contracts