Extension of the Viper language with modular product programs and information flow specifications - View it on GitHub