In this paper, we address these limitations [of static analysis] by proposing a precise, sound, and fully automated analysis technique … for which user input changes the intended syntactic … a string variable may assume with a context … transducers. We have implemented the proposed technique for … Our tool successfully discovered previous unknown and sometimes … (with approx. 100K loc).
Google-1
Google-2
Copyright clearance needed for quotation.