1. In a computer system comprising a computer, a method of annotating computer program code stored on a computer-readable medium, the method comprising: inserting, by the computer, one or more in-line code annotations at one or more annotation targets in source code; wherein the one or more in-line code annotations comprise at least one annotation on a first pointer to a buffer, wherein the at least one annotation comprises a property that indicates a characteristic of the buffer, wherein the property that indicates the characteristic of the buffer takes a size argument, and wherein the size argument comprises a location of a second pointer associated with the buffer; and wherein the at least one annotation on the first pointer is placed in an argument list to a function call that uses the first pointer as a parameter.