bddbddb usefulness

rustom <rustompmody@gmail.com>
Mon, 28 Apr 2008 19:38:58 -0700 (PDT)

          From comp.compilers
Related articles
bddbddb usefulness rustompmody@gmail.com (rustom) (2008-04-28)
| List of all articles for this month |
From: rustom <rustompmody@gmail.com>
Newsgroups: comp.compilers
Date: Mon, 28 Apr 2008 19:38:58 -0700 (PDT)
Organization: Compilers Central
Keywords: analysis, tools, question
Posted-Date: 28 Apr 2008 22:44:50 EDT

bddbddb ( http://bddbddb.sourceforge.net/ ) makes some very
interesting claims regarding the possibility of changing the way
dataflow analysis can be done vs. the current practice.


Since these are strong claims I was wondering whether anyone here has
experience about building optimizers using these tools -- bddbddb and
joeq


Thanks


Rustom


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.