[alias] expose more functions
Copied from #2677 (comment 229339) by @bclement-ocp
Some additional functions need to be exposed in the Abstract_state
for programmatic use if access to the underlying graph is needed (I need to iterate over all equivalence classes, and I think only raw access to the graph allows this).
More precisely:
-
get_lval
/find_aliases
now only returns variable aliases; there isreconstruct_lvals
internally to compute all the aliases but it is not exposed (it is used by find_all_aliases, but that also brings aliases from other equivalence classes); - edge labels are not exposed, so it is not possible to distinguish between pointer and field edges from outside the plugin, making raw access to the graph impossible to do correctly
Would it be possible to expose EdgeLabel
and (an equivalent of) reconstruct_lvals
from the plugin's API?