Abstract: A system for analyzing a piece of code includes a symbolic state generator adapted to generate symbolic states for statements in the piece of code where exceptions occur. The symbolic state generator is also adapted to provide the symbolic states as inputs to a static analyzer. The system includes a user interface adapted to transfer an exception specifier having an exception causing state to a static analyzer. The static analyzer is adapted to receive the symbolic states from the symbolic state generator and the exception specifier having the exception causing state from the user interface. The static analyzer is adapted to compare the symbolic states with the exception causing states and to provide a output on a basis of the comparison. The exception specifier includes an exception causing state and represents a language run-time exception or a user defined exception.