1. An executable code check system comprising: an input component that receives an object file having an embedded specification; 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.