Woke

Project Description: Woke is a static analyzer and symbolic execution engine for Solidity written in Python.

Our vision is that Woke will become the standard for static analysis of Solidity smart contracts and will be actively used by the developer community.

Woke also includes extensions to integrated development environments (IDEs) such as VS Code, Atom and others. Our goal is to bring Woke's functionalities directly into IDEs and thus reach the Ethereum developer community and participate in greater security on the blockchain

We have assembled a team that will be dedicated full-time to the development of Woke. The project is currently under active development and we have already started working on the core functionalities.

Desired Impact: Grant $50k from the mStable would cover 3 months of Woke development and this is what we ask for. According to our roadmap, we will have: Woke console, basic symbolic execution, first package of vulnerability detectors, and VS Code extension

Project Website: https://ackeeblockchain.com/

Github: https://github.com/Ackee-Blockchain/woke

1-pager: https://docs.google.com/presentation/d/e/2PACX-1vSYU_C1Q1utljejLwx7Rnk43Q0baWfWymIGxAHFu-wadJMbxkzggQSlAWhJnYRFsmtGr77k9W95pkCQ/pub?start=true&loop=false&delayms=60000

Funding Schedule: $50,000 USD in MTA Immediately

Recipient’s Address: 0x242C7f2279A3187279fD61605004A4B477B63A78