23. The article of manufacture defined in claim 21 wherein the method further comprises identifying one or more constraints in the computer program code having one or more unsolved terms; and wherein annotating further comprises inserting one or more acquire operations into the computer program code, in response to results of evaluation resource usage by the computer program code, to set one or more resource consumption constraints corresponding to the unsolved terms to a predetermined value in order to achieve resource use safety.
21. An article of manufacture having one or more recordable media storing instructions thereon which, when executed by a system, cause the system to perform a method comprising: evaluating resource usage of computer program code; and annotating the computer program, by inserting one or more operations into the computer program code that will cause one or more operations to be performed when the program code is executed for resource use safety, based on a result of evaluating the resource usage of the computer program code.