I wish to do some program transformation and analysis.
Is there any package that generates
SymbolicC expressions from C code?
In a sense I'm looking for the inverse of the
Is there some simple open source C (C++?) compiler whose AST representation would be easy to convert to this?