36. A method for performing runtime checking on arguments passed to external libraries in a compiled programming environment, comprising the steps of: inserting argument restrictions into a source code file; generating argument runtime checking code based on said inserted argument restrictions; linking said argument runtime checking code to a library; executing a program which includes one or more calls to functions in said library, wherein said one or more calls to said functions in said library pass one or more arguments to said functions in said library; executing said argument runtime checking code to determine if said one or more arguments passed to said functions in said library violate said argument restrictions; reporting an error if said one or more arguments passed to said functions in said library violate said argument restrictions.
36. A method for performing runtime checking on arguments passed to external libraries in a compiled programming environment, comprising the steps of: inserting argument restrictions into a source code file; generating argument runtime checking code based on said inserted argument restrictions; linking said argument runtime checking code to a library; executing a program which includes one or more calls to functions in said library, wherein said one or more calls to said functions in said library pass one or more arguments to said functions in said library; executing said argument runtime checking code to determine if said one or more arguments passed to said functions in said library violate said argument restrictions; reporting an error if said one or more arguments passed to said functions in said library violate said argument restrictions. 37. The method of claim 36, wherein said step of generating comprises generating argument runtime checking source code; wherein said step of linking comprises linking said argument runtime checking source code with source code of said library to generate linked library source code; the method further comprising: compiling said linked library source code into a library object code file; wherein said step of executing said argument runtime checking code comprises executing said compiled argument runtime checking code in said library object code file.