[cfe-dev] Static Analyzer - symbolic expressions in a program
shwetasshinde24 at gmail.com
Mon Mar 4 03:06:00 PST 2013
I am working on static symbolic analysis and came across Clang Static
However, I am interested only in getting the symbolic expressions
statically and not the bug finding logic of static analyzer.
So far, I am able to view the graph (which show the value ranges
for symbolic variables) using the following option:
clang -cc1 -analyze -analyzer-checker=core -analyzer-viz-egraph-graphviz
Now, I want to get the actual symbolic expressions for these variables. How
can I get it?
As I won't be doing any bug analysis should I still write a checker just to
access the analysis data, or is there any other way I can get the path
symbolic expressions for all paths?
Also, what kind of solver does clang static analyzer use for
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev