3
$\begingroup$

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?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.