Repo Taint Flow Algebra(TFA) implementation