7. Apparatus for generating an application software library, comprising: a computer comprising a processor; and instructions which are executable, using the processor, to implement functions comprising: processing a binary input library, by a static analyzer, to identify one or more locations in the binary input library which satisfy a semantic analysis condition derived from a design requirement implemented in the binary input library, the semantic analysis condition having non-executable metadata associated therewith, the metadata associated with corresponding executable aspect code; inserting the metadata into the binary input library at the one or more locations which satisfy the semantic analysis condition; and linking the binary input library with a binary aspect library to generate the application software library, wherein the binary aspect library includes an aspect definition providing the corresponding executable aspect code associated with the metadata.
7. Apparatus for generating an application software library, comprising: a computer comprising a processor; and instructions which are executable, using the processor, to implement functions comprising: processing a binary input library, by a static analyzer, to identify one or more locations in the binary input library which satisfy a semantic analysis condition derived from a design requirement implemented in the binary input library, the semantic analysis condition having non-executable metadata associated therewith, the metadata associated with corresponding executable aspect code; inserting the metadata into the binary input library at the one or more locations which satisfy the semantic analysis condition; and linking the binary input library with a binary aspect library to generate the application software library, wherein the binary aspect library includes an aspect definition providing the corresponding executable aspect code associated with the metadata. 9. The apparatus of claim 7 wherein the semantic analysis condition includes a criterion relating to a procedure in the binary input library.