• Home
Name Date Size #Lines LOC

..--

allowlist/12-May-2024-12359

breakpoint/12-May-2024-14274

config/12-May-2024-292164

context/12-May-2024-11163

handlers/12-May-2024-846602

options/12-May-2024-656480

parser/12-May-2024-459378

Debug.cmakeD12-May-20241.8 KiB3732

README.mdD12-May-2024965 5136

config_load.cppD12-May-20243.5 KiB11780

config_load.hD12-May-2024977 288

default_config.cppD12-May-20241.8 KiB6545

default_config.hD12-May-2024894 266

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