[erlang-questions] Statically determine values of variables

[Daniel Goertzen]

The "typer" tool will show the inferred types of all the functions in a
module.  Try adding the variable in question to the return value of the
function and then see what typer says.

Cheers,
Dan.



On Wed, Jul 20, 2011 at 10:07 AM, Salvador Tamarit <stamarit@REDACTED>wrote:

> 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
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20110720/649e71b4/attachment.htm>