Stratified Static Analysis Based on Variable Dependencies. - David Monniaux; Julien Le Guen (NSAD@SAS, 2011)