Dynamic code modification support for x64 NaCl modules...

src/trusted/validator_x86/ncvalidate_iter.h

 /*
  * 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.
  */
 
 #ifndef NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVALIDATE_ITER_H__
 #define NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVALIDATE_ITER_H__
 
 /*
@@ skipping 177 matching lines @@
  *   vbase - The virtual address associated with the beginning of the code
  *       segment.
  *   sz - The number of bytes in the code segment.
  *   state - The validator state to use while validating.
  */
 void NaClValidateSegment(uint8_t* mbase,
                          NaClPcAddress vbase,
                          NaClMemorySize sz,
                          NaClValidatorState* state);
 
+/* Validate a segment for dynamic code replacement

[bsy, 2010/11/11 21:27:21]

/*
 * comment text starts on this line, not above.
 * more comments.
 */

[petr, 2010/11/12 18:11:06]

Done.

+ * Checks if code at mbase_old can be replaced with code at mbase_new
+ * Note that mbase_old was validated when it was inserted originally.
+ * If validation fails, state->validates_ok will be set to false.
+ * Parameters:
+ *    mbase_old - The address of the beginning of the code segment to be
+ *                replaced
+ *    mbase_new - The address of the code segment that replaces the old
+ *                segment
+ *    vbase     - Virtual address that is associated with both segments
+ *    size      - Length of the code segments (the segments must be of the same
+ *                size)
+ *    state     - The validator state to use while validating *new* segment
+ */
+void NaClValidateSegmentPair(uint8_t *mbase_old,
+                             uint8_t *mbase_new,
+                             NaClPcAddress vbase,
+                             size_t size,
+                             struct NaClValidatorState *state);
+
 /* Returns true if the validator hasn't found any problems with the validated
  * code segments.
  * Parameters:
  *   state - The validator state used to validate code segments.
  * Returns:
  *   true only if no problems have been found.
  */
 Bool NaClValidatesOk(NaClValidatorState* state);
 
 /* Cleans up and returns the memory created by the corresponding
@@ skipping 135 matching lines @@
 void NaClValidatorInstMessage(int level,
                               NaClValidatorState* state,
                               NaClInstState* inst,
                               const char* format,
                               ...) ATTRIBUTE_FORMAT_PRINTF(4, 5);
 
 /* Returns true if the validator should quit due to previous errors. */
 Bool NaClValidatorQuit(NaClValidatorState* state);
 
 #endif  /* NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVALIDATE_ITER_H__ */