README.md
1## Verifier debug configuration
2
3### Breakpoints for managed code
4
5Breakpoints for managed code are used to stop GDB just right before processing
6instruction at specified offset in managed code.
7
8format: `<method_name>[,<offset>]*`
9
10if no offset specified, default is 0.
11
12offset format: dec or hex (0x...)
13
14### Verifier allowlists
15
16#### Allowlist for methods
17
18List with methods full names, which will be considered as verified.
19
20## Allowlist for method calls
21
22List of methods, calls to which always be considered as correct (signature checks is turned off for them)
23
24### Example of config
25
26```
27debug {
28 breakpints {
29 verifier {
30 java.lang.System::arrayCopy, 0x55, 0x66
31 java.lang.System::arrayRemove
32 }
33 }
34 allowlist {
35 verifier {
36 method {
37 Object::monitorEnter
38 Object::monitorExit
39 }
40 method_call {
41 Object::monitorEnter
42 Object::monitorExit
43 }
44 }
45 }
46}
47
48```
49
50Note newline after last `}`.
51