Exemplary methods, apparatuses, and systems for analyzing annotated programming code are detailed. For example, in an embodiment, a computer-implemented method comprises parsing code to identify a plurality of functions. For each function in the plurality of functions, the method further comprises determining a first annotation associated with the function and determining a second annotation associated with a first sub-function called by the function. The method further comprises generating an error message in an annotation summary for the function in response to determining that the first annotation associated with the function specifies the function as the first code type and the second annotation associated with the first sub-function called by the function specifies the first sub-function as the second code type.