This proposed additional recommendation/rule is under construction and incomplete.

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.

1 Comment

  1. Placeholder for portions of a grand refactoring of SEC03-J to SEC05-J.