More Resources
Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
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 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 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:
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 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 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 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 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 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 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 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 in Development Log, GNAT Compilation System