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