Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0

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.