Fix sym_exec_ins bug - Githubissues

enzymefinance / oyente

An Analysis Tool for Smart Contracts

GNU General Public License v3.0

1.32k stars 309 forks source link

Fix sym_exec_ins bug #354

Closed Reinose closed 4 years ago

Reinose commented 5 years ago

This is a minor bug.

CODESIZE instruction does not increase program counter.

It may result in imprecise analysis when the target contract contains CODESIZE instruction.

CLAassistant commented 5 years ago

Thank you for your submission, we really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}

yxliang01 commented 4 years ago

Indeed, looks like this is a valid patch. @Reinose would you like to sign the CLA, then I can merge it into master.

Reinose commented 4 years ago

I tried to sign CLA but it gave me an error message There is no CLA to sign for melonproject/oyente (Bad credentials). I've authorized cla-assistant for this account. Could you check cla-assistant configuration?

yxliang01 commented 4 years ago

@Reinose Alright, looks might be some problem with CLA assistant. I will merge anyways. Thanks for your contribution! Merged after 1.5 year :tada: