Repo Taint Flow Algebra(TFA) implementation. This version works for libdft-ng