Data associated with the value of a pointer, i.e. More...

#include <gdb_api.h>

Collaboration diagram for gdb_apit::pointer_valuet:

Public Member Functions
	pointer_valuet (const std::string &address="", const std::string &pointee="", const std::string &character="", const std::optional< std::string > &string={}, const bool valid=false)

bool	has_known_offset () const

Public Attributes
memory_addresst	address

std::string	pointee

std::string	character

std::optional< std::string >	string

bool	valid

Detailed Description

Data associated with the value of a pointer, i.e.

not only the address but also the pointee (if known), string (in the case of char*), etc.

Definition at line 76 of file gdb_api.h.

Constructor & Destructor Documentation

◆ pointer_valuet()

gdb_apit::pointer_valuet::pointer_valuet	(	const std::string &	address = `""`,
		const std::string &	pointee = `""`,
		const std::string &	character = `""`,
		const std::optional< std::string > &	string = `{}`,
		const bool	valid = `false`
	)

inline

Definition at line 78 of file gdb_api.h.

Member Function Documentation

◆ has_known_offset()

bool gdb_apit::pointer_valuet::has_known_offset ( ) const

inline

Definition at line 97 of file gdb_api.h.

Member Data Documentation

◆ address

memory_addresst gdb_apit::pointer_valuet::address

Definition at line 92 of file gdb_api.h.

◆ character

std::string gdb_apit::pointer_valuet::character

Definition at line 94 of file gdb_api.h.

◆ pointee

std::string gdb_apit::pointer_valuet::pointee

Definition at line 93 of file gdb_api.h.

◆ string

std::optional<std::string> gdb_apit::pointer_valuet::string

Definition at line 95 of file gdb_api.h.

◆ valid

bool gdb_apit::pointer_valuet::valid

Definition at line 103 of file gdb_api.h.

The documentation for this struct was generated from the following file:

/home/runner/work/cbmc/cbmc/src/memory-analyzer/gdb_api.h

Public Member Functions

Public Attributes