state-graphs.h File Reference

#include "json.h"

Include dependency graph for custom-sarif-properties/state-graphs.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	custom_sarif_properties
namespace	custom_sarif_properties::state_graphs
namespace	custom_sarif_properties::state_graphs::graph
namespace	custom_sarif_properties::state_graphs::node
namespace	custom_sarif_properties::state_graphs::edge

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

Variables
const char *const	custom_sarif_properties::state_graphs::graph::prefix
const json::enum_property< enum kind_t >	custom_sarif_properties::state_graphs::node::kind_prop
const json::string_property	custom_sarif_properties::state_graphs::node::function
const json::string_property	custom_sarif_properties::state_graphs::node::dynamic_extents
const json::string_property	custom_sarif_properties::state_graphs::node::name
const json::string_property	custom_sarif_properties::state_graphs::node::type
const json::json_property	custom_sarif_properties::state_graphs::node::value
const json::string_property	custom_sarif_properties::state_graphs::node::value_str
const json::string_property	custom_sarif_properties::state_graphs::node::index
const json::string_property	custom_sarif_properties::state_graphs::node::bits
const json::string_property	custom_sarif_properties::state_graphs::node::num_bits
const json::string_property	custom_sarif_properties::state_graphs::node::deallocator
const json::string_property	custom_sarif_properties::state_graphs::node::expected_deallocators
const json::enum_property< enum dynalloc_state_t >	custom_sarif_properties::state_graphs::node::dynalloc_state_prop
const char *const	custom_sarif_properties::state_graphs::edge::prefix = STATE_EDGE_PREFIX