FADA toolkit is the name given to our implementation of the FADA (Fuzzy Array Dataflow Analysis) )approach. It includes command line software (FADAtool) and a C++ library (FADAlib). FADA toolkit is an instance-wise dataflow analyser, based on reaching definitions approach. Its main advantages are: * It has full support for static control programs. * It provides support for many kinds of control flow irregularities,resulting better precision for data flow analysis. Such irregularities may be on memory accesses (indirection, non-affine indexes) and on irregular control structures (while, ifthenelse). * It gives to user the possibility to introduce extra dataflow properties through pragma directives.