• Home
Name Date Size #Lines LOC

..--

context/12-May-2024-15489

debug_breakpoint/12-May-2024-267175

default/12-May-2024-6928

handlers/12-May-2024-667461

options/12-May-2024-529371

parse/12-May-2024-15898

process/12-May-2024-9546

whitelist/12-May-2024-5229

Config.cmakeD12-May-20241.9 KiB3833

README.mdD12-May-2024967 5036

config.hD12-May-20241.9 KiB6542

config_load.cppD12-May-20243 KiB9968

config_load.hD12-May-2024904 288

README.md

1## Verifier configuration
2
3### Debug_breakpoint for managed code
4
5Debug_breakpoint 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 whitelists
15
16#### Whitelist for methods
17
18List with methods full names, which will be considered as verified.
19
20## Whitelist 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  whitelist {
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 `}`.