<div dir="ltr">Hi all,
<div><br></div><div>
















<p class="">I want to get and manipulate the Store and Environment in
the current ProgramState in checkPreStmt() and checkPostStmt(). How can I do
that? </p>

<p class="">What's more, I’ve dumped the ProgramState in my checker in checkPostStmt(). But I don’t know
the meaning of addresses in the Expressions. What do those addresses mean? Thanks a
lot. <span style="color:rgb(0,0,0);white-space:pre-wrap">Any help will be greatly appreciated.</span></p><p class=""><span style="color:rgb(0,0,0);white-space:pre-wrap"><br></span></p><pre style="white-space:pre-wrap;color:rgb(0,0,0)">
Best regards,
Arthur Yoo</pre><p class=""></p>

</div></div>