Module memcheck

Available on crate feature client_requests_defs only.

All public client requests from the memcheck.h header file

See also Memcheck Client Requests

Structs

LeakCounts

The LeakCounts as returned by count_leaks and count_leak_blocks

Functions

check_mem_is_addressable

Check that memory at addr is addressable for len bytes

check_mem_is_defined

Check that memory at addr is addressable and defined for len bytes.

check_value_is_defined

Use this macro to force the definedness and addressibility of a value to be checked.

count_leak_blocks

Identical to count_leaks except that it returns the number of blocks rather than the number of bytes in each category.

count_leaks

Return LeakCounts found by all previous leak checks

create_block

Create a BlockHandle.

disable_addr_error_reporting_in_range

Disable reporting of addressing errors in the specified address range

discard

Discard a BlockHandle previously acquired with create_block

do_added_leak_check

Same as do_leak_check but only showing the entries for which there was an increase in leaked bytes or leaked nr of blocks since the previous leak search.

do_changed_leak_check

Same as do_added_leak_check but showing entries with increased or decreased leaked bytes/blocks since previous leak search.

do_leak_check

Do a full memory leak check (like --leak-check=full) mid-execution

do_new_leak_check

Same as do_leak_check but only showing new entries i.e. loss records that were not there in the previous leak search.

do_quick_leak_check

Do a summary memory leak check (like --leak-check=summary) mid-execution

enable_addr_error_reporting_in_range

Enable reporting of addressing errors in the specified address range

get_vbits

Allow you to get the V (validity) bits for an address range [addr...addr+len-1]

make_mem_defined

Mark memory at addr as addressable and defined for len bytes.

make_mem_defined_if_addressable

Similar to make_mem_defined except that addressability is not altered

make_mem_noaccess

Mark memory addr as unaddressable for len bytes

make_mem_undefined

Mark memory at addr as addressable but undefined for len bytes

set_vbits

Allow you to set the V (validity) bits for an address range [addr...addr+len-1]

Type Aliases

BlockHandle

The BlockHandle type as returned by create_block