Re: FY Ammo: Study about Security Bugs

[Robert Dewar <dewar@gnat.com>]

In article <m3yabltvy5.fsf@kiuk0156.chembio.ntnu.no>,
  Preben Randhol <randhol@pvv.org> wrote:

> Which pragmas do one have to set to turn the checks on (if not
> by default). Looked at the Annex L in RM, but it didn't make
> it clearer.

The RM model is that checks are on and can be optionally turned
off. All Ada compilers must have a mode in which this required
RM semantics is provided. Check with your vendor and/or read the
vendor documentation to determine the details for this mode
(note that the validation VSR shows what options were used for
the validation tests, and this will of course also show how to
operate in this mode).

The RM has nothing to say about what "by default" might mean,
since this is clearly an implementation dependent, OS dependent
concept.

In GNAT, there is a pragma Unsuppress (now being discussed for
semi-standardization) that can be used either as a configuration
pragma, or locally to ensure that checks are on, even if they
were turned off at the command line level. Unsuppress has
exactly the same form and usage as Suppress.

Robert Dewar
Ada Core Technologies


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