evm_cfg_builder
evm_cfg_builder copied to clipboard
Investigate missing branches
From time to time the VSA is lost and is not able to retrieve the jump destination (error message Missing branches).
We need to investigate why it happens and how to fix it