search

kupl / VeriSmart-public

a safety verifier for Solidity smart contracts
Other
91 stars 24 forks source link

I would like to ask if this program can directly detect the bytecode of the contract? #13

Closed kwg126 closed 1 year ago

kwg126 commented 1 year ago

I would like to ask if this program can directly detect the bytecode of the contract?

sunbeomso commented 1 year ago

VeriSmart and SmarTest are source code analyzers