FADAlib

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.