Module store
bitvec
Memory modeling.
This module provides a BitStore trait, which mediates how handles access memory and perform analysis on the regions they describe.
BitStore
Common interface for memory regions.