you said "we plan to turn COVA into an on-demand analysis such that it only computes a constraint for a given statement instead of computing a constraint map for all reachable statements." in paper "A Qualitative Analysis of Android Taint-Analysis Results".did you have implemented it?
you said "we plan to turn COVA into an on-demand analysis such that it only computes a constraint for a given statement instead of computing a constraint map for all reachable statements." in paper "A Qualitative Analysis of Android Taint-Analysis Results".did you have implemented it?