[klee-dev] question: how to create read expression

[Dan Liew]

On 1 March 2016 at 07:19, Sumit Kumar <sumit686215 at gmail.com> wrote:
> Hi,
> Let "x" be an integer identifier and it is made symbolic. I want to create
> or get this expression:
>
>         ReadLSB w32 0 x
>
To make a ReadExpr you should use ``ReadExpr::alloc()``. But that
represents a 1 byte read. To get a read of width 32 you will need to
Create several ``ConcatExpr`` to concatenate that reads. You can use
the ``ConcatExpr::create4()`` to help you with this.