michprev

Michal Převrátil

Projects

"locked-ether" Woke detector

Woke is an existing tool for analyzing Solidity contracts. The project extends the tool with a new vulnerability/issue detector that can detect a case when a contract receives Ether but cannot send itPython, Woke tool

Skills

Python
Solidity
C++