#include "analyzer/symbol.h"
#include "analyzer/store.h"
#include "analyzer/program-point.h"
#include "text-art/widget.h"
Go to the source code of this file.
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) |