search

eth-sri / securify2

Securify v2.0
Apache License 2.0
586 stars 136 forks source link

Map UnrestrictedEtherFlow to correct slither id #43

Open Otto-AA opened 10 months ago

Otto-AA commented 10 months ago

The arbitrary-send-eth detector checks for SWC-105, while unchecked-send detects if the return value of .send is verified.