svalue.h File Reference

#include "analyzer/symbol.h"
#include "analyzer/store.h"
#include "analyzer/program-point.h"
#include "text-art/widget.h"

Include dependency graph for svalue.h:

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

Go to the source code of this file.

Data Structures
class	ana::svalue
class	ana::region_svalue
struct	ana::region_svalue::key_t
struct	default_hash_traits< region_svalue::key_t >
class	ana::constant_svalue
struct	ana::constant_svalue::key_t
struct	default_hash_traits< constant_svalue::key_t >
class	ana::unknown_svalue
class	ana::poisoned_svalue
struct	ana::poisoned_svalue::key_t
struct	default_hash_traits< poisoned_svalue::key_t >
struct	ana::setjmp_record
class	ana::setjmp_svalue
struct	ana::setjmp_svalue::key_t
struct	default_hash_traits< setjmp_svalue::key_t >
class	ana::initial_svalue
class	ana::unaryop_svalue
struct	ana::unaryop_svalue::key_t
struct	default_hash_traits< unaryop_svalue::key_t >
class	ana::binop_svalue
struct	ana::binop_svalue::key_t
struct	default_hash_traits< binop_svalue::key_t >
class	ana::sub_svalue
struct	ana::sub_svalue::key_t
struct	default_hash_traits< sub_svalue::key_t >
class	ana::repeated_svalue
struct	ana::repeated_svalue::key_t
struct	default_hash_traits< repeated_svalue::key_t >
class	ana::bits_within_svalue
struct	ana::bits_within_svalue::key_t
struct	default_hash_traits< bits_within_svalue::key_t >
class	ana::unmergeable_svalue
class	ana::placeholder_svalue
class	ana::widening_svalue
struct	ana::widening_svalue::key_t
struct	default_hash_traits< widening_svalue::key_t >
class	ana::compound_svalue
struct	ana::compound_svalue::key_t
struct	default_hash_traits< compound_svalue::key_t >
class	ana::conjured_purge
class	ana::conjured_svalue
struct	ana::conjured_svalue::key_t
struct	default_hash_traits< conjured_svalue::key_t >
class	ana::asm_output_svalue
struct	ana::asm_output_svalue::key_t
struct	default_hash_traits< asm_output_svalue::key_t >
class	ana::const_fn_result_svalue
struct	ana::const_fn_result_svalue::key_t
struct	default_hash_traits< const_fn_result_svalue::key_t >

Namespaces
namespace	ana

Enumerations
enum	ana::svalue_kind {   ana::SK_REGION , ana::SK_CONSTANT , ana::SK_UNKNOWN , ana::SK_POISONED ,   ana::SK_SETJMP , ana::SK_INITIAL , ana::SK_UNARYOP , ana::SK_BINOP ,   ana::SK_SUB , ana::SK_REPEATED , ana::SK_BITS_WITHIN , ana::SK_UNMERGEABLE ,   ana::SK_PLACEHOLDER , ana::SK_WIDENING , ana::SK_COMPOUND , ana::SK_CONJURED ,   ana::SK_ASM_OUTPUT , ana::SK_CONST_FN_RESULT }
enum class	ana::poison_kind { ana::uninit , ana::freed , ana::deleted , ana::popped_stack }

Functions
const char *	ana::poison_kind_to_str (enum poison_kind)