Short question, how is code scope defined/determined by the compiler when looking at EVM opcodes (or rather bitcode)? Is it simply by looking out for jump calls or return statements? Or does it define scope from jump destinations to returning calls?

  • returns can be optimized out by the optimizer, so.... – Nulik Aug 20 '18 at 17:42
  • 1
    I suggest to look into disassembling techniques, it is completely different science – Nulik Aug 20 '18 at 17:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.