This is useful for the memory module which needs to store byte-addressable data. Currently this data is stored as a SymbolicBitVec which is known to be exactly 8-bits in length. However it would be better to enforce this constraint at the type level.
This PR introduces SymbolicBitBuf<N> and type SymbolicByte = SymbolicBitBuf<8>. It also defines some operations on the SymbolicBitBuf, though in retrospect these won't be useful for the emulator. The reason being is that all of the pcode operations operate on VarnodeData which defines the amount of data to read at runtime.
This is useful for the memory module which needs to store byte-addressable data. Currently this data is stored as a
SymbolicBitVecwhich is known to be exactly 8-bits in length. However it would be better to enforce this constraint at the type level.This PR introduces
SymbolicBitBuf<N>andtype SymbolicByte = SymbolicBitBuf<8>. It also defines some operations on theSymbolicBitBuf, though in retrospect these won't be useful for the emulator. The reason being is that all of the pcode operations operate onVarnodeDatawhich defines the amount of data to read at runtime.