1. A method comprising: accessing a computer program to be subjected to static analysis, said computer program comprising at least one framework, said at least one framework comprising high-level code and at least one configuration file; creating from said computer program a specification which describes run-time behavior of said program, including run-time behavior of said at least one framework comprising said high-level code and said at least one configuration file; based on said specification, generating synthetic high-level code which accurately simulates said run-time behavior of said at least one framework comprising said high-level code and said at least one configuration file, without framework usage; and carrying out said static analysis of said computer program, based on said synthetic high-level code.