Application of the use-definition chaining to attribute flow analysis