OLD | NEW |
| (Empty) |
1 /* | |
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 | |
4 * found in the LICENSE file. | |
5 */ | |
6 | |
7 #ifndef NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NC_JUMPS_DETAILED_
H__ | |
8 #define NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NC_JUMPS_DETAILED_
H__ | |
9 | |
10 /* | |
11 * nc_jumps_detailed.h - Uses the jump sets collected by nc_jumps.h, and | |
12 * walks the instructions a second time. Reports jump instructions that do | |
13 * not validate and why. | |
14 */ | |
15 | |
16 struct NaClValidatorState; | |
17 struct NaClInstIter; | |
18 struct NaClJumpSets; | |
19 | |
20 /* Compares the collected actual jumps and the set of possible jump points, | |
21 * and reports any descrepancies that don't follow NACL rules. Does this | |
22 * by rewalking the instructions and finding instructions that don't follow NACL | |
23 * rules. | |
24 * Note: Replaces the post validator NaClJumpValidatorSummarize in nc_jumps.h, | |
25 */ | |
26 void NaClJumpValidatorSummarizeDetailed(struct NaClValidatorState* state); | |
27 | |
28 #endif /* NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_NCVAL_REG_SFI_NC_JUMPS_DETAIL
ED_H__ */ | |
OLD | NEW |