Home | Contact | Pricing | News | Events | Partners | Mailing List | Site Map
  • Development log
  • Technical papers
  • Live docs

More Resources

Recent Papers

Browse by Technology

Dev Log Archives

Developer Center

rss feed
Welcome to the AdaCore Developer Center, the place to get the latest GNAT Pro technology news and resources such as technical papers, live docs and expert tips on programming in Ada.

AdaCore Development Log

Tuesday January 31, 2012

[SPARK] Automatic flow analysis mode is the default »

The default flow analysis mode is now automatic, which replaces the previous default of information flow. Automatic flow analysis was introduced in release 10. In this mode the Examiner selects information flow or data flow analysis on a per-subprogram basis depending on the presence or absence of derives annotations. This change is backwards compatible for current projects using information flow, data flow or a combination of the two. However, if you wish to enforce information flow or data flow for all analysis this can still be done explicitly via the option -flow=information or -flow=data.

Posted by Posted in Development Log, SPARK

Monday January 30, 2012

Gem #117: Design Pattern: Overridable Class Attributes in Ada 2012 »

In this Gem we consider how to realize the capability of “class attributes” (such as supported in Python) using Ada.


Read the rest of this entry »

Posted by Posted in Ada / Ada 2005 / Ada 2012, Development Log, Devt log - Gem of the Week

Monday January 30, 2012

SPARK 10.1 webinar »

February 21, 2012 – 4:00pm GMT, 5:00pm CET, 11:00am EST

The InSight webinar series continues with a presentation on the new features of the AdaCore/Altran Praxis joint offering – SPARK Pro 10.1. SPARK Pro combines the proven SPARK Ada language and supporting toolset with AdaCore’s GNAT Programming Studio (GPS) integrated development environment, backed by unrivalled support systems.

SPARK 10.1 includes the following enhancements:

  • Generics Phase 1 – Release 10.1 includes the first phase of the addition of support for Ada generics to the SPARK language and toolset
  • Dynamic Flow Analyser and VCG Heaps
  • Unicode characters now allowed in strings
  • Improved use of types and subtypes in FDL
  • Improvements to Simplifier tactics and performance
  • Auto-generation of refinement rules
  • Improvements to SPARKBridge
  • New SPARKClean utility

  • This webinar will include a demo and Q&A session with the developers of the SPARK Pro toolset.

    To register for this webinar please visit:
    www.adacore.com/home/products/sparkpro/language_toolsuite/webinars/

    Posted by Posted in Development Log, SPARK

    Friday January 27, 2012

    Security Advisory SA-2012-L119-003: Hash collisions in AWS »

    Problem:
    Impacted versions of AWS store key/value pairs from submitted form data in hash tables using a hash function that has predictable collisions. As a result, a single specially crafted HTTP request can cause the server to use hours of CPU time, thus causing a denial of service.
    Impact:
    All AWS releases and wavefronts prior to 2012-01-21
    Status:
    This was fixed in AWS 2.11 and 2.10.2 on 2012-01-21
    References:

    Posted by Posted in AWS, Development Log

    Friday January 27, 2012

    [GNAT] Improved error messages for violation of 12.3(18) »

    If an instantiation is illegal because a private primitive operation in the generic fails to override a visible operation in the same generic, the compiler now reports the names of the relevant type and operation.

    Posted by Posted in Development Log, GNAT Compilation System

    Thursday January 26, 2012

    [GPRBUILD] Verbosity when linking shared SALs »

    In default mode (not verbose and not quiet), the base name of gnatbind and of the compiler when binding and compiling the binder generated file is now output, instead of the full path names. Also, when the command line is long, only the beginning is output.

    Posted by Posted in Development Log, GNAT Compilation System

    Monday January 23, 2012

    [IDE] GPS: goto next/previous bookmark »

    Two new actions ("Goto Next Bookmark" and "Goto Previous Bookmark") are available to jump to nearest bookmarks in current file. They can be bound to keys in the "General" section of the Key Shortcuts dialog.

    Posted by Posted in Development Log, GNATbench, GPS

    Monday January 23, 2012

    [CodePeer] Documentation converted to sphinx »

    The documentation format was changed, so that we can produce nicer looking output. In particular, the new format provides an integrated search feature over all pages of the manual.

    Posted by Posted in CodePeer, Development Log

    Monday January 23, 2012

    [GNAT] Simple storage pools »

    The GNAT-specific pragma Simple_Storage_Pool_Type (or aspect) can be applied to library-level limited types to designate the types as simple storage pool types. Access types can be associated with a simple pool object via the new Simple_Storage_Pool attribute (or aspect), so that allocators will invoke the Allocate procedure of the simple storage pool. This is an alternative to Ada’s standard storage pools that does not require tagged types or finalization support, which may be useful in some contexts (for example, certification contexts where tagged types and finalization are forbidden).

    Posted by Posted in Development Log, GNAT Compilation System

    Saturday January 21, 2012

    [GNAT] Better warnings for suspicious mod values »

    Two more cases of suspicious mod values (for example in "type X is mod 2*8", and "R := X mod 2 * 32"), where in each case the * should almost certainly be **, now generate warnings under control of -gnatw.m (on by default).

    Posted by Posted in Development Log, GNAT Compilation System