Groups | Search | Server Info | Login | Register
Groups > comp.compilers > #175
| 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> (permalink) |
| 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 |
Show key headers only | View raw
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.
Back to comp.compilers | Previous | Next — Next in thread | Find similar
Implementation of range analyses Douglas do Couto Teixeira <douglasdocouto@gmail.com> - 2011-06-27 14:20 -0300 Re: Implementation of range analyses Diego Novillo <dnovillo@acm.org> - 2011-06-29 14:58 -0400 Re: Implementation of range analyses Nikolaos Kavvadias <nikolaos.kavvadias@gmail.com> - 2011-07-01 15:11 -0700
csiph-web