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 `}`.