22. The system of claim 14 , further comprising a verifier configured to: create one or more lists of identifiers from the one or more header files; and remove each identifier in the one or more lists of identifiers based upon whether the respective identifier exists in the tokenized form.
22. The system of claim 14 , further comprising a verifier configured to: create one or more lists of identifiers from the one or more header files; and remove each identifier in the one or more lists of identifiers based upon whether the respective identifier exists in the tokenized form. 24. The system of claim 22 , wherein the verifier is further configured to verify that the one or more lists of identifiers are consistent with one or more preprocessor symbol tables.