gigahorse-toolchain icon indicating copy to clipboard operation
gigahorse-toolchain copied to clipboard

Published 20 hours ago • verified publisher icon nevillegrech

Function call not inferred

Open sifislag opened this issue 2 years ago • 0 comments

On this contract the biggest part of the body of the transferFrom() function is not part of the decompiled output. It is the 0x1a37() function but the call at block 0xda9 is not recognized.

Did some digging and found that a fact for IsFunctionCallReturn is produced but no IRFunctionCallReturn. This is because the callerret block is not deduced to be part of the caller function.

Relevant code of rule that fails to produce a fact: https://github.com/nevillegrech/gigahorse-toolchain/blob/37dc051e940e3256293af135889f674edabdd8b6/logic/functions.dl#L416-L425

sifislag avatar Mar 02 '22 13:03 sifislag