To properly reason about max_secret_too_high, we need to reason about the controlled part of the base, i.e. the part that is both secret-independent and attacker-controlled.
We can add a TransmissionComponent to the Transmission object.
Test case:
__mod_zone_page_state a2336d92-83da-4404-8a1d-2b40ff52c0a9
To properly reason about max_secret_too_high, we need to reason about the controlled part of the base, i.e. the part that is both secret-independent and attacker-controlled.
We can add a TransmissionComponent to the Transmission object.
Test case: