Include Page | ||||
---|---|---|---|---|
|
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.
Include Page | ||||
---|---|---|---|---|
|
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.