Support implicit conversion from "bytes" to "string" for function arguments

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Support implicit conversion from "bytes" to "string" for function arguments #229

Open ellab123 opened 4 years ago

ellab123 commented 4 years ago

VeriSol translator complains about "bytes" argument being called with "string" value: Test\regressions\StringToBytes.sol Test\regressions\StringToBytes2.sol

ellab123 commented 4 years ago

Note that using value "" as an argument x of type "bytes" assigns a hash value of the string "" to x. We should consider using UTF8 character encoding instead, but this issue has to be further investigated.