This library provides some dataflow analyzing tools in Matita Language (http://matita.cs.unibo.it/)