We are starting to get there: https://viper.cs.columbia.edu/