Path: csiph.com!x330-a1.tempe.blueboxinc.net!newsfeed.hal-mli.net!feeder1.hal-mli.net!news.linkpendium.com!news.linkpendium.com!news.iecc.com!nerds-end
From: Douglas do Couto Teixeira <douglasdocouto@gmail.com>
Newsgroups: comp.compilers
Subject: Implementation of range analyses
Date: Mon, 27 Jun 2011 14:20:37 -0300
Organization: Compilers Central
Lines: 13
Sender: news@iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <11-06-049@comp.compilers>
NNTP-Posting-Host: news.iecc.com
X-Trace: gal.iecc.com 1309370630 14006 64.57.183.58 (29 Jun 2011 18:03:50 GMT)
X-Complaints-To: abuse@iecc.com
NNTP-Posting-Date: Wed, 29 Jun 2011 18:03:50 +0000 (UTC)
Keywords: analysis, question
Posted-Date: 29 Jun 2011 14:03:50 EDT
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com
Xref: x330-a1.tempe.blueboxinc.net comp.compilers:175

Dear all,

    could anyone point me to an implementation of range analysis? I am
working on one, that we have running on LLVM, and now I would like to
compare it with other approaches. Yet, I do not know where to find an
open-source implementation. Just to give you context, the range
analysis associates an integer interval to the integer variables in
the program.

Regards,

Douglas.