OLD | NEW |
| (Empty) |
1 // Copyright 2015 Google Inc. All Rights Reserved. | |
2 // | |
3 // Licensed under the Apache License, Version 2.0 (the "License"); | |
4 // you may not use this file except in compliance with the License. | |
5 // You may obtain a copy of the License at | |
6 // | |
7 // http://www.apache.org/licenses/LICENSE-2.0 | |
8 // | |
9 // Unless required by applicable law or agreed to in writing, software | |
10 // distributed under the License is distributed on an "AS IS" BASIS, | |
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
12 // See the License for the specific language governing permissions and | |
13 // limitations under the License. | |
14 // | |
15 // Defines an X86 stack walker for standard frames that contain a saved EBP | |
16 // value at the top, generated by the common preamble: | |
17 // | |
18 // push ebp // Save the previous EBP. ESP now points at the saved EBP. | |
19 // mov ebp, esp // EBP now points at the saved EBP. | |
20 // | |
21 // The algorithms expects the stack to be laid out as follows: | |
22 // | |
23 // +-------------+ <-- top of stack | |
24 // | ...data.... | | |
25 // | ret address | | |
26 // +-------------+ | |
27 // | saved ebp | | |
28 // | ...data.... | <-- frame 0 (root) | |
29 // | ret address | | |
30 // +-------------+ | |
31 // | saved ebp | | |
32 // | ...data.... | <-- frame 1 | |
33 // | ret address | | |
34 // +-------------+ | |
35 // . . . | |
36 // . . . | |
37 // +-------------+ | |
38 // | saved ebp | | |
39 // | ...data.... | <-- frame n (leaf) | |
40 // | ret address | | |
41 // +-------------+ <-- bottom of stack | |
42 // | |
43 // If the stack is truly laid out as above then there are a few invariants that | |
44 // must hold: | |
45 // | |
46 // - The return address of the previous frame is at EBP + 4. This must be a | |
47 // sensible return address (non-null, and not in the stack itself). | |
48 // - Frames are laid out linearly on the stack, so successive EBP values must | |
49 // be monotonically increasing. | |
50 // - Push aligns the stack to the machine word size, so all EBP values must be | |
51 // 4-byte aligned. | |
52 // - There must be the content of the saved EBP and a return pointer between | |
53 // any two successive EBP values, so they must be at least 8 bytes apart. | |
54 // - The frames must be entirely contained within the stack itself, so strictly | |
55 // between the known bottom and top of the stack. | |
56 // | |
57 // The algorithm walks the stack as far as it can while the above invariants | |
58 // hold true, saving the value of the return pointer for each valid frame | |
59 // encountered. Note that it can quickly derail if frame pointer optimization | |
60 // is enabled, or at any frame that uses a non-standard layout. | |
61 | |
62 #ifndef SYZYGY_AGENT_COMMON_STACK_WALKER_X86_H_ | |
63 #define SYZYGY_AGENT_COMMON_STACK_WALKER_X86_H_ | |
64 | |
65 #include "syzygy/common/asan_parameters.h" | |
66 | |
67 namespace agent { | |
68 namespace common { | |
69 | |
70 using StackId = ::common::AsanStackId; | |
71 | |
72 // Heuristically walks the current stack. Does not consider its own stack | |
73 // frame. Frames are expected to have a standard layout with the top of the | |
74 // frame being a saved frame pointer, and the bottom of a frame being a return | |
75 // address. | |
76 // @param bottom_frames_to_skip The number of frames to skip from the bottom | |
77 // of the stack. | |
78 // @param max_frame_count The maximum number of frames that can be written to | |
79 // @p frames. | |
80 // @param frames The array to be populated with the computed frames. | |
81 // @param absolute_stack_id Pointer to the stack ID that will be calculated as | |
82 // we are walking the stack. | |
83 // @returns the number of frames successfully walked and stored in @p frames. | |
84 size_t WalkStack(size_t bottom_frames_to_skip, | |
85 size_t max_frame_count, | |
86 void** frames, | |
87 StackId* absolute_stack_id); | |
88 | |
89 // Implementation of WalkStack, with explicitly provided @p current_ebp, | |
90 // @p stack_bottom and @p stack_top. Exposed for much easier unittesting. | |
91 // @param current_ebp The current stack frame base to start walking from. | |
92 // This must be a valid stack location from which to start walking. | |
93 // @param stack_bottom The bottom of the stack to walk. (Lower address.) | |
94 // @param stack_top The top of the stack to walk. (Higher address.) | |
95 // @param bottom_frames_to_skip The number of frames to skip from the bottom | |
96 // of the stack. | |
97 // @param max_frame_count The maximum number of frames that can be written to | |
98 // @p frames. | |
99 // @param frames The array to be populated with the computed frames. | |
100 // @param absolute_stack_id Pointer to the stack ID that will be calculated as | |
101 // we are walking the stack. | |
102 // @returns the number of frames successfully walked and stored in @p frames. | |
103 size_t WalkStackImpl(const void* current_ebp, | |
104 const void* stack_bottom, | |
105 const void* stack_top, | |
106 size_t bottom_frames_to_skip, | |
107 size_t max_frame_count, | |
108 void** frames, | |
109 StackId* absolute_stack_id); | |
110 | |
111 } // namespace common | |
112 } // namespace agent | |
113 | |
114 #endif // SYZYGY_AGENT_COMMON_STACK_WALKER_X86_H_ | |
OLD | NEW |