VerifIEr - Static Code Analysis Gen