Inferring crypto API rules from code changes. - Rumen Paletov; Petar Tsankov; Veselin Raychev; Martin T. Vechev (PLDI, 2018)