[cfe-dev] How can I get and manipulate the Store and Environment in the current ProgramState in Clang Static Analyzer?

[Arthur Yoo]

Hi all,

I want to get and manipulate the Store and Environment in the current
ProgramState in checkPreStmt() and checkPostStmt(). How can I do that?

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. Any help will be greatly appreciated.


Best regards,
Arthur Yoo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130708/c73116cd/attachment.html>