1. An 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; and, a checker that employs the specification to facilitate static checking of the object file, the checker providing information if a fault condition is determined.