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 ToCCodeString
function.
Is there some simple open source C (C++?) compiler whose AST representation would be easy to convert to this?