OLD | NEW |
1 /* | 1 /* |
2 * Copyright (c) 2012 The Native Client Authors. All rights reserved. | 2 * Copyright (c) 2012 The Native Client Authors. All rights reserved. |
3 * Use of this source code is governed by a BSD-style license that can be | 3 * Use of this source code is governed by a BSD-style license that can be |
4 * found in the LICENSE file. | 4 * found in the LICENSE file. |
5 */ | 5 */ |
6 | 6 |
7 #ifndef NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NCVALIDATE_ITER_H_
_ | 7 #ifndef NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NCVALIDATE_ITER_H_
_ |
8 #define NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NCVALIDATE_ITER_H_
_ | 8 #define NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NCVALIDATE_ITER_H_
_ |
9 | 9 |
10 /* | 10 /* |
(...skipping 355 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
366 void NaClValidatorTwoInstMessage(int level, | 366 void NaClValidatorTwoInstMessage(int level, |
367 NaClValidatorState* state, | 367 NaClValidatorState* state, |
368 struct NaClInstState* inst1, | 368 struct NaClInstState* inst1, |
369 struct NaClInstState* inst2, | 369 struct NaClInstState* inst2, |
370 const char* format, | 370 const char* format, |
371 ...) ATTRIBUTE_FORMAT_PRINTF(5, 6); | 371 ...) ATTRIBUTE_FORMAT_PRINTF(5, 6); |
372 | 372 |
373 /* Returns true if the validator should quit due to previous errors. */ | 373 /* Returns true if the validator should quit due to previous errors. */ |
374 Bool NaClValidatorQuit(NaClValidatorState* state); | 374 Bool NaClValidatorQuit(NaClValidatorState* state); |
375 | 375 |
| 376 /* Returns true if any code has been overwritten with halts. */ |
| 377 Bool NaClValidatorDidStubOut(NaClValidatorState *vstate); |
| 378 |
376 #ifdef NCVAL_TESTING | 379 #ifdef NCVAL_TESTING |
377 /* Defines the buffer and the corresponding buffer size to use for SNPRINTF, | 380 /* Defines the buffer and the corresponding buffer size to use for SNPRINTF, |
378 * given the current contents of the pre/post condition. | 381 * given the current contents of the pre/post condition. |
379 */ | 382 */ |
380 void NaClConditionAppend(char* condition, | 383 void NaClConditionAppend(char* condition, |
381 char** buffer, | 384 char** buffer, |
382 size_t* buffer_size); | 385 size_t* buffer_size); |
383 | 386 |
384 /* Prints out the address of the current instruction, and the pre/post | 387 /* Prints out the address of the current instruction, and the pre/post |
385 * conditions associated with the current instruction. | 388 * conditions associated with the current instruction. |
386 */ | 389 */ |
387 void NaClPrintConditions(NaClValidatorState *state); | 390 void NaClPrintConditions(NaClValidatorState *state); |
388 #endif | 391 #endif |
389 | 392 |
390 EXTERN_C_END | 393 EXTERN_C_END |
391 | 394 |
392 #endif /* NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NCVALIDATE_ITER
_H__ */ | 395 #endif /* NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NCVALIDATE_ITER
_H__ */ |
OLD | NEW |