medusa icon indicating copy to clipboard operation
medusa copied to clipboard

Published 20 hours ago • verified publisher icon crytic

Brainstorming: support for getMappingSlotAt, getMappingLength and getMappingKeyAndParentOf

Open bsamuels453 opened this issue 6 months ago • 1 comments

We had to spend a ton of time re-creating the state machine for a recent invariant project because it held internal state that our fuzzing harness couldn't directly access.

I don't know which cheatcodes are used to allow these foundry functions to work, but I'm curious what the cost would be to add them to medusa:

  • getMappingSlotAt
  • getMappingLength
  • getMappingKeyAndParentOf

Basically a bunch of StdStorage.sol features would be incredible helpful for dealing with protocols with a lot of hidden internal state.

What would the cost of this support be?

bsamuels453 avatar Aug 12 '24 16:08 bsamuels453