[erlang-questions] Statically determine values of variables

Daniel Goertzen daniel.goertzen@REDACTED
Wed Jul 20 20:36:20 CEST 2011

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.


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>

More information about the erlang-questions mailing list