Exploring the Role of Static Analysis in Programming — Programming Keynou