We currently mark the secret_address_control as REQUIRES_MEM_LEAK, but in the reasoner we only consider valid secret addresses when secret_address_control is CONTROLLED.
Ideal solution would be splitting the secret address in a controlled and uncontrolled part, as we do for the base.
When the secret address is in the form of
We currently mark the
secret_address_controlasREQUIRES_MEM_LEAK, but in the reasoner we only consider valid secret addresses whensecret_address_controlisCONTROLLED.Ideal solution would be splitting the secret address in a controlled and uncontrolled part, as we do for the base.