Scalable taint specification inference with big code.

Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev

Browse the full PLDI paper archive.