Make validator require read sandboxing on ARM.

src/trusted/validator_arm/validation-report.py

 #!/usr/bin/python
 #
-# Copyright 2009 The Native Client Authors.  All rights reserved.
-# Use of this source code is governed by a BSD-style license that can
-# be found in the LICENSE file.
-# Copyright 2009, Google Inc.
+# Copyright (c) 2011 The Native Client Authors. All rights reserved.
+# Use of this source code is governed by a BSD-style license that can be
+# found in the LICENSE file.
 #
 
 
 import sys
 import textwrap
 from subprocess import Popen, PIPE
 
 _OBJDUMP = 'arm-none-linux-gnueabi-objdump'
 
 def _objdump(binary, vaddr, ctx_before, ctx_after):
@@ skipping 24 matching lines @@
             'part of an instruction sequence that must be executed in full, '
             'or is inline data',
             0, 0],
         'kProblemPatternCrossesBundle': ['This instruction is part of a '
             'sequence that must execute in full, but it spans a bundle edge '
             '-- so an indirect branch may target it',
             1, 1],
         'kProblemBranchInvalidDest': ['This branch targets a location that is '
             'outside of the application\'s executable code, and is not a valid '
             'trampoline entry point', 0, 0],
-        'kProblemUnsafeStore': ['This store instruction is not preceded by a '
-            'valid address mask instruction', 1, 0],
+        'kProblemUnsafeLoadStore': ['This store instruction is not preceded by '
+            'a valid address mask instruction', 1, 0],
         'kProblemUnsafeBranch': ['This indirect branch instruction is not '
             'preceded by a valid address mask instruction', 1, 0],
         'kProblemUnsafeDataWrite': ['This instruction affects a register that '
             'must contain a valid data-region address, but is not followed by '
             'a valid address mask instruction', 0, 1],
         'kProblemReadOnlyRegister': ['This instruction changes the contents of '
             'a read-only register', 0, 0],
         'kProblemMisalignedCall': ['This linking branch instruction is not in '
             'the last slot of its bundle, so when its LR result is masked, the '
             'caller will not return to the next instruction', 0, 0],
@@ skipping 24 matching lines @@
 
 def _parse_report(line):
     vaddr_hex, safety, code, ref_vaddr_hex = line.split()
     return (int(vaddr_hex, 16), int(safety), code, int(ref_vaddr_hex, 16))
 
 
 for line in sys.stdin:
     if line.startswith('ncval: '):
       line = line[7:].strip()
       _explain_problem(sys.argv[1], *_parse_report(line))