Module move_bytecode_verifier::absint
source · [−]Structs
Enums
Traits
Trait for finite-height abstract domains. Infinite height domains would require a more complex trait with widening and a partial order.
Take a pre-state + instruction and mutate it to produce a post-state Auxiliary data can be stored in self.
Type Definitions
A map from block id’s to the pre/post of each block after a fixed point is reached.