Inferring crypto API rules from code changes.

Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev

Browse the full PLDI paper archive.