Re: FY Ammo: Study about Security Bugs

[Robert Dewar <robert_dewar@my-deja.com>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 716 bytes --]

In article <slrn83ss7u.rae.gisle@kondor.ii.uib.no>,
  gisle@kondor.ii.uib.no (Gisle S�lensminde) wrote:
> They are on by default

There is no concept of what default means in the RM, so this
is an incorrect statement. You have to check for each compiler
what options are required.

For instance, on GNAT, the default for elaboration checks is
to eliminate them at runtime by using the much safer static
elaboration approach. If you want the less safe but standard
RM dynamic checks, you must use -gnatE. We chose the default
here quite deliberately, because we think that most users should
be using the static elaboration scheme, at least for new code.



Sent via Deja.com http://www.deja.com/
Before you buy.