Loading...

Searching...

No Matches

abstract_pointer_object.cpp File Reference

#include <analyses/variable-sensitivity/abstract_environment.h>
#include <analyses/variable-sensitivity/abstract_pointer_object.h>
#include <util/pointer_expr.h>
#include "abstract_object_statistics.h"

+ Include dependency graph for abstract_pointer_object.cpp:

[フレーム]

Go to the source code of this file.

Functions

static bool is_dereference (const exprt &expr)

static bool is_typecast_from_void_ptr (const exprt &expr)

Function Documentation

◆ is_dereference()

static bool is_dereference ( const exprt & expr )

static

Definition at line 117 of file abstract_pointer_object.cpp.

◆ is_typecast_from_void_ptr()

static bool is_typecast_from_void_ptr ( const exprt & expr )

static

Definition at line 122 of file abstract_pointer_object.cpp.