TreeDroid: a tree automaton based approach to enforcing data processing policies
TAJ: effective taint analysis of web applications