[Issue 2573] New: [Tracker] Data integrity issues

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=2573

           Summary: [Tracker] Data integrity issues
           Product: D
           Version: unspecified
          Platform: All
        OS/Version: All
            Status: NEW
          Keywords: accepts-invalid, wrong-code
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: bugzilla at digitalmars.com
        ReportedBy: smjg at iname.com
 BugsThisDependsOn: 302,519,602,1161,1339,1410,1426,1983,2361,2544


This is a tracker for issues in the compiler and/or the D specification that
compromise the integrity of data in some way.  These can include:
- holes in the D2 const/invariant system
- cases in which a variable fails to be initialised
- places where protection attributes are not honoured, making it possible to
mess with a module's internal workings
- wrong-code bugs that corrupt data
- places where measures to check data integrity at runtime cannot be relied
upon

This tracker doesn't cover ways in which the programmer can deliberately bypass
D's features that are meant to protect against data corruption.  Rather, the
point is to show how we have a D that isn't as robust against data corruption
as it's cracked up to be.


--