jaczkal

Jan Kalivoda

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