Unimplemented informational opcodes `ORIGIN` `CODESIZE` `GASPRICE`

pirapira / dry-analyzer

Dr. Y's Ethereum Contract Analyzer

GNU Lesser General Public License v2.1

42 stars 10 forks source link

Closed pirapira closed 8 years ago

pirapira commented 8 years ago

In evm.v, the function a_instr_sem misses these opcodes.

pirapira commented 8 years ago

Also EXTCODESIZE.

pirapira commented 8 years ago

This is done by now.