custom_sarif_properties::state_graphs::node Namespace Reference

Enumerations
enum class	kind_t {   globals , code , function , stack ,   stack_frame , heap_ , thread_local_ , dynalloc_buffer ,   variable , field , padding , element ,   other }
enum class	dynalloc_state_t { unknown , nonnull , unchecked , freed }

Variables
const json::enum_property< enum kind_t >	kind_prop
const json::string_property	function
const json::string_property	dynamic_extents
const json::string_property	name
const json::string_property	type
const json::json_property	value
const json::string_property	value_str
const json::string_property	index
const json::string_property	bits
const json::string_property	num_bits
const json::string_property	deallocator
const json::string_property	expected_deallocators
const json::enum_property< enum dynalloc_state_t >	dynalloc_state_prop

Enumeration Type Documentation

dynalloc_state_t

enum class custom_sarif_properties::state_graphs::node::dynalloc_state_t

strong

Enumerator
unknown
nonnull
unchecked
freed

kind_t

enum class custom_sarif_properties::state_graphs::node::kind_t

strong

Enumerator
globals
code
function
stack
stack_frame
heap_
thread_local_
dynalloc_buffer
variable
field
padding
element
other

Variable Documentation

bits

const json::string_property custom_sarif_properties::state_graphs::node::bits

extern

deallocator

const json::string_property custom_sarif_properties::state_graphs::node::deallocator

extern

dynalloc_state_prop

const json::enum_property< enum node::dynalloc_state_t > custom_sarif_properties::state_graphs::node::dynalloc_state_prop

extern

Referenced by state_diagram::on_node_in_table(), and state_diagram::state_diagram().

dynamic_extents

const json::string_property custom_sarif_properties::state_graphs::node::dynamic_extents

extern

Referenced by state_diagram::on_node_in_table().

expected_deallocators

const json::string_property custom_sarif_properties::state_graphs::node::expected_deallocators

extern

function

const json::string_property custom_sarif_properties::state_graphs::node::function

extern

index

const json::string_property custom_sarif_properties::state_graphs::node::index

extern

Referenced by state_diagram::on_node_in_table().

kind_prop

const json::enum_property< enum node::kind_t > custom_sarif_properties::state_graphs::node::kind_prop

extern

Referenced by state_diagram::get_label_for_node(), state_diagram::on_node_in_table(), and state_diagram::starts_node_p().

name

const json::string_property custom_sarif_properties::state_graphs::node::name

extern

Referenced by state_diagram::on_node_in_table().

num_bits

const json::string_property custom_sarif_properties::state_graphs::node::num_bits

extern

type

const json::string_property custom_sarif_properties::state_graphs::node::type

extern

Referenced by state_diagram::on_node_in_table().

value

const json::json_property custom_sarif_properties::state_graphs::node::value

extern

value_str

const json::string_property custom_sarif_properties::state_graphs::node::value_str

extern

Referenced by state_diagram::on_node_in_table().