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
