Publications Analysis of software patches using numerical abstract interpretation Analysis of software patches using numerical abstract interpretation David Delmas Antoine Miné PDF DOI