1. A computer system comprising: a logical processor; a memory in operable communication with the logical processor; and a program analyzer residing in the memory, the program analyzer having: an embedded annotation statement locator configured for locating an annotation statement that is embedded in a non-code-generative portion of a program source code, the program source code written in a first programming language recognized by a code generation tool for code generation, the annotation statement written in a second programming language; and an embedded annotation statement interpreter configured for interpreting the annotation statement and reporting whether the program source code violates a condition specified with the annotation.