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