problem with export

From: [at]} <ftkachov{>
Date: Wed, 9 Jul 2003 01:54:51 +0400 (MSK DST)

----boundary-LibPST-iamunique-2027342588_-_-
Content-type: text/plain

Hi!

Here is another aspect of the problem of (read-only) export of array
elements mentioned earlier:

If one declares a global variable in one module:

        VAR a-: POINTER TO ARRAY OF INTEGER;

then the array's elements are r/w accessible from the outside.

I think a stricter discipline is warranted:
exported pointer should only give automatic access to the pointer
-- not to the elements of the structure.

These problems with export of array elements constitute a security hole
that needs to be shut.
Especially if one has in view scientific and engineering
applications where BB has a significant potential.

Cheers
Fyodor Tkachov
--------------------------------------------

To unsubscribe from this mailing list, send a message containing the word "unsubscribe" to:
   blackbox-request{([at]})nowhere.xy

To get a list of valid e-mail commands and instructions on their usage, send a message containing the word "help" to the above address.

Send any problem reports or questions related to this email list to the list owner at
   owner-blackbox{([at]})nowhere.xy

Current posting policy:

a) To post you should use the same address by which you are subscribed to the mailing list. That way, the list server will recognize you as subscriber and forward your posting immediately, without creating any overhead.

b) If, for some reason, you cannot post from the address, by which you are subscribed, your message will be moderated to avoid spam. Please understand that moderation will often cause some delay, in particular over weekends or holydays.


----boundary-LibPST-iamunique-2027342588_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"

e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIEhpIVxwYXINClxwYXINCkhlcmUgaXMgYW5vdGhl
ciBhc3BlY3Qgb2YgdGhlIHByb2JsZW0gb2YgKHJlYWQtb25seSkgZXhwb3J0IG9mIGFycmF5IFxw
YXINCmVsZW1lbnRzIG1lbnRpb25lZCBlYXJsaWVyOlxwYXINClxwYXINCklmIG9uZSBkZWNsYXJl
cyBhIGdsb2JhbCB2YXJpYWJsZSBpbiBvbmUgbW9kdWxlOlxwYXINClxwYXINClx0YWIgVkFSICBh
LTogUE9JTlRFUiBUTyBBUlJBWSBPRiBJTlRFR0VSO1xwYXINClxwYXINCnRoZW4gdGhlIGFycmF5
J3MgZWxlbWVudHMgYXJlIHIvdyBhY2Nlc3NpYmxlIGZyb20gdGhlIG91dHNpZGUuXHBhcg0KXHBh
cg0KSSB0aGluayBhIHN0cmljdGVyIGRpc2NpcGxpbmUgaXMgd2FycmFudGVkOlxwYXINCmV4cG9y
dGVkIHBvaW50ZXIgc2hvdWxkIG9ubHkgZ2l2ZSBhdXRvbWF0aWMgYWNjZXNzIHRvIHRoZSBwb2lu
dGVyXHBhcg0KLS0gbm90IHRvIHRoZSBlbGVtZW50cyBvZiB0aGUgc3RydWN0dXJlLlxwYXINClxw
YXINClRoZXNlIHByb2JsZW1zIHdpdGggZXhwb3J0IG9mIGFycmF5IGVsZW1lbnRzIGNvbnN0aXR1
dGUgYSBzZWN1cml0eSBob2xlXHBhcg0KdGhhdCBuZWVkcyB0byBiZSBzaHV0LiBccGFyDQpFc3Bl
Y2lhbGx5IGlmIG9uZSBoYXMgaW4gdmlldyBzY2llbnRpZmljIGFuZCBlbmdpbmVlcmluZ1xwYXIN
CmFwcGxpY2F0aW9ucyB3aGVyZSBCQiBoYXMgYSBzaWduaWZpY2FudCBwb3RlbnRpYWwuXHBhcg0K
XHBhcg0KQ2hlZXJzXHBhcg0KRnlvZG9yIFRrYWNob3ZccGFyDQotLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLVxwYXINClxwYXINClRvIHVuc3Vic2NyaWJlIGZyb20g
dGhpcyBtYWlsaW5nIGxpc3QsIHNlbmQgYSBtZXNzYWdlIGNvbnRhaW5pbmcgdGhlIHdvcmQgInVu
c3Vic2NyaWJlIiB0bzpccGFyDQogICBibGFja2JveC1yZXF1ZXN0QG9iZXJvbi5jaFxwYXINClxw
YXINClRvIGdldCBhIGxpc3Qgb2YgdmFsaWQgZS1tYWlsIGNvbW1hbmRzIGFuZCBpbnN0cnVjdGlv
bnMgb24gdGhlaXIgdXNhZ2UsIHNlbmQgYSBtZXNzYWdlIGNvbnRhaW5pbmcgdGhlIHdvcmQgImhl
bHAiIHRvIHRoZSBhYm92ZSBhZGRyZXNzLlxwYXINClxwYXINClNlbmQgYW55IHByb2JsZW0gcmVw
b3J0cyBvciBxdWVzdGlvbnMgcmVsYXRlZCB0byB0aGlzIGVtYWlsIGxpc3QgdG8gdGhlIGxpc3Qg
b3duZXIgYXRccGFyDQogICBvd25lci1ibGFja2JveEBvYmVyb24uY2hccGFyDQpccGFyDQpDdXJy
ZW50IHBvc3RpbmcgcG9saWN5OlxwYXINClxwYXINCmEpIFRvIHBvc3QgeW91IHNob3VsZCB1c2Ug
dGhlIHNhbWUgYWRkcmVzcyBieSB3aGljaCB5b3UgYXJlIHN1YnNjcmliZWQgdG8gdGhlIG1haWxp
bmcgbGlzdC4gVGhhdCB3YXksIHRoZSBsaXN0IHNlcnZlciB3aWxsIHJlY29nbml6ZSB5b3UgYXMg
c3Vic2NyaWJlciBhbmQgZm9yd2FyZCB5b3VyIHBvc3RpbmcgaW1tZWRpYXRlbHksIHdpdGhvdXQg
Y3JlYXRpbmcgYW55IG92ZXJoZWFkLlxwYXINClxwYXINCmIpIElmLCBmb3Igc29tZSByZWFzb24s
IHlvdSBjYW5ub3QgcG9zdCBmcm9tIHRoZSBhZGRyZXNzLCBieSB3aGljaCB5b3UgYXJlIHN1YnNj
cmliZWQsIHlvdXIgbWVzc2FnZSB3aWxsIGJlIG1vZGVyYXRlZCB0byBhdm9pZCBzcGFtLiBQbGVh
c2UgdW5kZXJzdGFuZCB0aGF0IG1vZGVyYXRpb24gd2lsbCBvZnRlbiBjYXVzZSBzb21lIGRlbGF5
LCBpbiBwYXJ0aWN1bGFyIG92ZXIgd2Vla2VuZHMgb3IgaG9seWRheX19AOMTYVU9Rg==


----boundary-LibPST-iamunique-2027342588_-_---
Received on Tue Jul 08 2003 - 23:54:51 UTC