Re: [CIL users] optimizations with pointers

[John R. <re...@cs...>]

> On a big tangent, has anyone ever been tempted to recast Cil's  
> analyses and optimizations in a composable framework, a la [1]?

We did a bit of work in this direction:

http://www.cs.utah.edu/~regehr/papers/lctes06_1/
http://www.cs.utah.edu/~coop/research/cxprop/

John Regehr