Add TaintEngine relevant APIs