The "certain standard API methods" are the ones to be listed in the new SEC03-J. Note that the leaking issue is transitive, and so requires escape analysis for general static proof.
The "certain standard API methods" are the ones to be listed in the new SEC03-J. Note that the leaking issue is transitive, and so requires escape analysis for general static proof.