[BLACKBOX] FW: [BLACKBOX] Variable initialization in BlackBox

From: Campbell, Robert (SELEX GALILEO, UK) <Robert.D.Campbell{([at]})nowhere.xy>
Date: Thu, 9 Oct 2008 08:46:27 +0100

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

>> From: BlackBox [mailto:BLACKBOX{([at]})nowhere.xy
>> Of CFB Software, Chris Burrows
 

>> However, this is not necessary. An alternative approach is
>> used by the Gardens Point implementation of Component
>> Pascal. Their compiler does very thorough program flow
>> analysis and is able to warn at compile time if a value is
>> not initialised. Unfortunately it is over-zealous as it also
>> complains about the variables that are automatically
>> initialised

As far as I know the BlackBox Menu Item 'Info->Analyze Module'
gives warnings about using uninitialised viables. I think that
the analyzer is (*very*) useful, although not perfect.

I also like the way its use is optional - I don't want to see all
its warnings every time I do a compile.

>> Having said all that, I am happy with the way variable
>> initialisation is already handled in BlackBox - it is a good
>> compromise between efficiency and sparing the programmer
>> some additional coding effort.

I also like the BBox compromise. The report is, (I think !) unambiguous
about what is initialised and when. But maybe it could be have been
a bit clearer?

Regards

Robert

 

SELEX Sensors and Airborne Systems Limited
Registered Office: Sigma House, Christopher Martin Road, Basildon, Essex SS14 3EL
A company registered in England & Wales. Company no. 02426132
********************************************************************
This email and any attachments are confidential to the intended
recipient and may also be privileged. If you are not the intended
recipient please delete it from your system and notify the sender.
You should not copy it or use it for any purpose nor disclose or
distribute its contents to any other person.
********************************************************************

----
To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy----boundary-LibPST-iamunique-1627686247_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwID4+IEZyb206IEJsYWNrQm94IFttYWlsdG86QkxB
Q0tCT1hATElTVFMuT0JFUk9OLkNIXSBPbiBCZWhhbGYgXHBhcg0KPj4gT2YgQ0ZCIFNvZnR3YXJl
LCBDaHJpcyBCdXJyb3dzXHBhcg0KIFxwYXINClxwYXINCj4+IEhvd2V2ZXIsIHRoaXMgaXMgbm90
IG5lY2Vzc2FyeS4gQW4gYWx0ZXJuYXRpdmUgYXBwcm9hY2ggaXMgXHBhcg0KPj4gdXNlZCBieSB0
aGUgR2FyZGVucyBQb2ludCBpbXBsZW1lbnRhdGlvbiBvZiBDb21wb25lbnQgXHBhcg0KPj4gUGFz
Y2FsLiBUaGVpciBjb21waWxlciBkb2VzIHZlcnkgdGhvcm91Z2ggcHJvZ3JhbSBmbG93IFxwYXIN
Cj4+IGFuYWx5c2lzIGFuZCBpcyBhYmxlIHRvIHdhcm4gYXQgY29tcGlsZSB0aW1lIGlmIGEgdmFs
dWUgaXMgXHBhcg0KPj4gbm90IGluaXRpYWxpc2VkLiBVbmZvcnR1bmF0ZWx5IGl0IGlzIG92ZXIt
emVhbG91cyBhcyBpdCBhbHNvIFxwYXINCj4+IGNvbXBsYWlucyBhYm91dCB0aGUgdmFyaWFibGVz
IHRoYXQgYXJlIGF1dG9tYXRpY2FsbHkgXHBhcg0KPj4gaW5pdGlhbGlzZWRccGFyDQpccGFyDQpB
cyBmYXIgYXMgSSBrbm93IHRoZSBCbGFja0JveCBNZW51IEl0ZW0gJ0luZm8tPkFuYWx5emUgTW9k
dWxlJ1xwYXINCmdpdmVzIHdhcm5pbmdzIGFib3V0IHVzaW5nIHVuaW5pdGlhbGlzZWQgdmlhYmxl
cy4gSSB0aGluayB0aGF0XHBhcg0KdGhlIGFuYWx5emVyIGlzICgqdmVyeSopIHVzZWZ1bCwgYWx0
aG91Z2ggbm90IHBlcmZlY3QuXHBhcg0KXHBhcg0KSSBhbHNvIGxpa2UgdGhlIHdheSBpdHMgdXNl
IGlzIG9wdGlvbmFsIC0gSSBkb24ndCB3YW50IHRvIHNlZSBhbGxccGFyDQppdHMgd2FybmluZ3Mg
ZXZlcnkgdGltZSBJIGRvIGEgY29tcGlsZS5ccGFyDQpccGFyDQo+PiBIYXZpbmcgc2FpZCBhbGwg
dGhhdCwgSSBhbSBoYXBweSB3aXRoIHRoZSB3YXkgdmFyaWFibGUgXHBhcg0KPj4gaW5pdGlhbGlz
YXRpb24gaXMgYWxyZWFkeSBoYW5kbGVkIGluIEJsYWNrQm94IC0gaXQgaXMgYSBnb29kIFxwYXIN
Cj4+IGNvbXByb21pc2UgYmV0d2VlbiBlZmZpY2llbmN5IGFuZCBzcGFyaW5nIHRoZSBwcm9ncmFt
bWVyIFxwYXINCj4+IHNvbWUgYWRkaXRpb25hbCBjb2RpbmcgZWZmb3J0LlxwYXINClxwYXINCkkg
YWxzbyBsaWtlIHRoZSBCQm94IGNvbXByb21pc2UuIFRoZSByZXBvcnQgaXMsIChJIHRoaW5rICEp
IHVuYW1iaWd1b3VzXHBhcg0KYWJvdXQgd2hhdCBpcyBpbml0aWFsaXNlZCBhbmQgd2hlbi4gQnV0
IG1heWJlIGl0IGNvdWxkIGJlIGhhdmUgYmVlblxwYXINCmEgYml0IGNsZWFyZXI/XHBhcg0KXHBh
cg0KUmVnYXJkc1xwYXINClxwYXINClJvYmVydFxwYXINClxwYXINCiBccGFyDQpccGFyDQpTRUxF
WCBTZW5zb3JzIGFuZCBBaXJib3JuZSBTeXN0ZW1zIExpbWl0ZWRccGFyDQpSZWdpc3RlcmVkIE9m
ZmljZTogU2lnbWEgSG91c2UsIENocmlzdG9waGVyIE1hcnRpbiBSb2FkLCBCYXNpbGRvbiwgRXNz
ZXggU1MxNCAzRUxccGFyDQpBIGNvbXBhbnkgcmVnaXN0ZXJlZCBpbiBFbmdsYW5kICYgV2FsZXMu
ICBDb21wYW55IG5vLiAwMjQyNjEzMlxwYXINCioqKioqKioqKioqKioqKioqKioqKioqKioqKioq
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqXHBhcg0KVGhpcyBlbWFpbCBh
bmQgYW55IGF0dGFjaG1lbnRzIGFyZSBjb25maWRlbnRpYWwgdG8gdGhlIGludGVuZGVkXHBhcg0K
cmVjaXBpZW50IGFuZCBtYXkgYWxzbyBiZSBwcml2aWxlZ2VkLiBJZiB5b3UgYXJlIG5vdCB0aGUg
aW50ZW5kZWRccGFyDQpyZWNpcGllbnQgcGxlYXNlIGRlbGV0ZSBpdCBmcm9tIHlvdXIgc3lzdGVt
IGFuZCBub3RpZnkgdGhlIHNlbmRlci5ccGFyDQpZb3Ugc2hvdWxkIG5vdCBjb3B5IGl0IG9yIHVz
ZSBpdCBmb3IgYW55IHB1cnBvc2Ugbm9yIGRpc2Nsb3NlIG9yXHBhcg0KZGlzdHJpYnV0ZSBpdHMg
Y29udGVudHMgdG8gYW55IG90aGVyIHBlcnNvbi5ccGFyDQoqKioqKioqKioqKioqKioqKioqKioq
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKlxwYXINClxwYXIN
ClxwYXINCi0tLS1ccGFyDQpUbyB1bnN1YnNjcmliZSwgc2VuZCBhIG1lc3NhZ2Ugd2l0aCBib2R5
ICJTSUdOT0ZGIEJMQUNLQk9YIiB0byBMSVNUU0VSVkBMSVNUUy5PQkVST04uQ0h9fQB1Y3Qt
----boundary-LibPST-iamunique-1627686247_-_---

Received on Thu Oct 09 2008 - 09:46:27 UTC