[erlang-questions] Statically determine values of variables

[Salvador Tamarit]

Hi,

Do you know any static analysis (a module, a tool or at least a paper)
able to determine the (possible) values that a given variable can take
during execution?

Thanks.
Salva