| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 1 | general valgrind monitor commands: |
| 2 | help [debug] : monitor command help. With debug: + debugging commands |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 3 | v.wait [<ms>] : sleep <ms> (default 0) then continue |
| 4 | v.info all_errors : show all errors found so far |
| 5 | v.info last_error : show last error found |
| 6 | v.info n_errs_found : show the nr of errors found so far |
| 7 | v.kill : kill the Valgrind process |
| 8 | v.set gdb_output : set valgrind output to gdb |
| 9 | v.set log_output : set valgrind output to log |
| 10 | v.set mixed_output : set valgrind output to log, interactive output to gdb |
| 11 | v.set vgdb-error <errornr> : debug me at error >= <errornr> |
| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 12 | |
| 13 | memcheck monitor commands: |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 14 | get_vbits <addr> [<len>] |
| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 15 | returns validity bits for <len> (or 1) bytes at <addr> |
| 16 | bit values 0 = valid, 1 = invalid, __ = unaddressable byte |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 17 | Example: get_vbits 0x........ 10 |
| 18 | make_memory [noaccess|undefined |
| 19 | |defined|Definedifaddressable] <addr> [<len>] |
| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 20 | mark <len> (or 1) bytes at <addr> with the given accessibility |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 21 | check_memory [addressable|defined] <addr> [<len>] |
| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 22 | check that <len> (or 1) bytes at <addr> have the given accessibility |
| 23 | and outputs a description of <addr> |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 24 | leak_check [full*|summary] [reachable|possibleleak*|definiteleak] |
| sewardj | c8bd1df | 2011-06-26 12:41:33 +0000 | [diff] [blame] | 25 | [increased*|changed|any] |
| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 26 | * = defaults |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 27 | Examples: leak_check |
| 28 | leak_check summary any |
| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 29 | |
| 30 | general valgrind monitor commands: |
| 31 | help [debug] : monitor command help. With debug: + debugging commands |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 32 | v.wait [<ms>] : sleep <ms> (default 0) then continue |
| 33 | v.info all_errors : show all errors found so far |
| 34 | v.info last_error : show last error found |
| 35 | v.info n_errs_found : show the nr of errors found so far |
| 36 | v.kill : kill the Valgrind process |
| 37 | v.set gdb_output : set valgrind output to gdb |
| 38 | v.set log_output : set valgrind output to log |
| 39 | v.set mixed_output : set valgrind output to log, interactive output to gdb |
| 40 | v.set vgdb-error <errornr> : debug me at error >= <errornr> |
| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 41 | debugging valgrind internals monitor commands: |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 42 | v.info gdbserver_status : show gdbserver status |
| 43 | v.info memory : show valgrind heap memory stats |
| sewardj | d6e13d8 | 2011-10-22 20:23:30 +0000 | [diff] [blame^] | 44 | v.info scheduler : show valgrind thread state and stacktrace |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 45 | v.set debuglog <level> : set valgrind debug log level to <level> |
| 46 | v.translate <addr> [<traceflags>] : debug translation of <addr> with <traceflags> |
| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 47 | (default traceflags 0b00100000 : show after instrumentation) |
| 48 | An additional flag 0b100000000 allows to show gdbserver instrumentation |
| 49 | |
| 50 | memcheck monitor commands: |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 51 | get_vbits <addr> [<len>] |
| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 52 | returns validity bits for <len> (or 1) bytes at <addr> |
| 53 | bit values 0 = valid, 1 = invalid, __ = unaddressable byte |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 54 | Example: get_vbits 0x........ 10 |
| 55 | make_memory [noaccess|undefined |
| 56 | |defined|Definedifaddressable] <addr> [<len>] |
| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 57 | mark <len> (or 1) bytes at <addr> with the given accessibility |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 58 | check_memory [addressable|defined] <addr> [<len>] |
| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 59 | check that <len> (or 1) bytes at <addr> have the given accessibility |
| 60 | and outputs a description of <addr> |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 61 | leak_check [full*|summary] [reachable|possibleleak*|definiteleak] |
| sewardj | c8bd1df | 2011-06-26 12:41:33 +0000 | [diff] [blame] | 62 | [increased*|changed|any] |
| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 63 | * = defaults |
| sewardj | 30b3eca | 2011-06-28 08:20:39 +0000 | [diff] [blame] | 64 | Examples: leak_check |
| 65 | leak_check summary any |
| sewardj | 3b29048 | 2011-05-06 21:02:55 +0000 | [diff] [blame] | 66 | |
| 67 | monitor command request to kill this process |