This change introduces the following conversion tools:
sym::concretize and sym::concretize_into will convert iterators of SymbolicByte into the desired concrete type. The concrete type must implement the FromBytes trait
sym::ConcreteValue supports conversions to and from SymbolicBitBuf and SymbolicBitVec. This type can wrap any type which implements FromBytes.
The macro concrete_type! can be used to define conversions to and from SymbolicBitBuf and SymbolicBitVec using ConcreteValue internally.
Several conversion unit tests were added to improve conversion code coverage.
This change also removes Memory::read_concrete_value in favor of these Memory::read followed by the appropriate conversion routine. This API was only used in tests internally.
This change introduces the following conversion tools:
sym::concretize
andsym::concretize_into
will convert iterators ofSymbolicByte
into the desired concrete type. The concrete type must implement theFromBytes
traitsym::ConcreteValue
supports conversions to and fromSymbolicBitBuf
andSymbolicBitVec
. This type can wrap any type which implementsFromBytes
.concrete_type!
can be used to define conversions to and fromSymbolicBitBuf
andSymbolicBitVec
usingConcreteValue
internally.Several conversion unit tests were added to improve conversion code coverage.
This change also removes
Memory::read_concrete_value
in favor of theseMemory::read
followed by the appropriate conversion routine. This API was only used in tests internally.