1. A computer implemented executable code check system comprising: an input component that receives an object file and a specification associated with the object file, the specification comprising information associated with a plug-in condition for a method, the plug-in condition parses contents of a query string and makes the content available to a checker as part of a program's approximate execution state, the plug-in condition includes a rule for using an interface, system resource management, order of method calls and formatting of string parameters; and, the checker that employs the specification to facilitate static checking of the object file, the checker passing a user injected custom state to the plug-in condition to check a fault condition and providing information if the fault condition is determined, wherein memory operatively coupled to a processor retains at least a portion of the input component or the checker.