Let me give you a very interesting link: Flow Analysis using Cecil.
The code should land soon in Cecil's SVN module. This is a pretty exciting news, using stuff like this, it will be even easier to write tools like Gendarme. Please thanks Bamboo's team in db4o for the great work. I can't wait using it!