Closed xbrukner closed 11 years ago
The "show" command is supposed to provide this kind of information.
"show module" displays top level information about the analysis, such as memory consumption of the whole interpreter.
"show functions" displays top level information about analysis of each function, per-function memory consumption.
"show function xxx" displays detailed information about analysis of a function, what kind of abstract values it stores and abstract value counts and memory consumption.
Low priority, because performance is currently not an issue, and we do not know what will be needed to evaluate performance in the future when it will be necessary.
It would be nice if Canal was able to print out number of instances of every class (or Abstract domain) and the memory usage. So that if user wanted to optimize, which domains to use, he would know which domains use how much space without need to run Canal in a profiler.