_bottom | constantAnalyzer | [private] |
_double_constants | constantAnalyzer | [private] |
_expr_values | constantAnalyzer | [private] |
_float_constants | constantAnalyzer | [private] |
_non_null | constantAnalyzer | [private] |
_null | constantAnalyzer | [private] |
_schar_constants | constantAnalyzer | [private] |
_sint_constants | constantAnalyzer | [private] |
_slong_constants | constantAnalyzer | [private] |
_sshort_constants | constantAnalyzer | [private] |
_stmt_values | constantAnalyzer | [private] |
_top | constantAnalyzer | [private] |
_uchar_constants | constantAnalyzer | [private] |
_uint_constants | constantAnalyzer | [private] |
_ulong_constants | constantAnalyzer | [private] |
_ushort_constants | constantAnalyzer | [private] |
at_address(stmtLocation *current, operandNode *operand, pointerValue &result) | constantAnalyzer | |
at_assignment(stmtLocation *current, pointerValue &left, pointerValue &right, pointerValue &result, memoryblock_set &changes) | constantAnalyzer | |
at_basicblock_entry(basicblockLocation *block, procedureInfo *info, pointerValue &initial) | constantAnalyzer | |
at_binary(stmtLocation *current, stmtNode *s, pointerValue &left, pointerValue &right, pointerValue &result) | constantAnalyzer | |
at_cast(stmtLocation *current, operandNode *operand, pointerValue &operand_val, pointerValue &result) | constantAnalyzer | |
at_conservative_procedure_call(stmtLocation *current, operandNode *call, operand_list &args, pointerValue &call_target, pointervalue_list &arguments, memoryblock_set &reachable_blocks, pointerValue &return_val, memoryblock_set &changes) | constantAnalyzer | |
at_const(stmtLocation *current, constNode *cons, pointerValue &result) | constantAnalyzer | |
at_dereference(stmtLocation *current, operandNode *operand, pointerValue &result) | constantAnalyzer | |
at_field_access(stmtLocation *current, operandNode *operand, pointerValue &result) | constantAnalyzer | |
at_id(stmtLocation *current, idNode *id, pointerValue &value) | constantAnalyzer | |
at_index(stmtLocation *current, operandNode *operand, pointerValue &result) | constantAnalyzer | |
at_merge(Location *where, memoryBlock *block, memoryuse_list &phi_uses, pointerValue &result, memoryblock_set &changes) | constantAnalyzer | |
at_parameter_pass(Location *current, pointerValue &left, pointerValue &right, memoryblock_set &changes) | constantAnalyzer | |
at_return(stmtLocation *stmt, returnNode *ret, pointerValue &result, pointerValue &return_val) | constantAnalyzer | |
at_self_assignment(Location *source, Location *target, memoryBlock *block, memoryblock_set &changes) | constantAnalyzer | |
at_sizeof(stmtLocation *current, threeAddrNode *t, pointerValue &operand, pointerValue &result) | constantAnalyzer | |
at_stmt_entry(stmtLocation *stmt, pointerValue &result) | constantAnalyzer | |
at_unary(stmtLocation *current, stmtNode *t, pointerValue &operand, pointerValue &result) | constantAnalyzer | |
bottom() const | constantAnalyzer | [inline] |
clear() | constantAnalyzer | |
constant_set typedef | constantAnalyzer | [private] |
constant_set_p typedef | constantAnalyzer | [private] |
constantAnalyzer() | constantAnalyzer | |
evaluate_points_to(const memoryblock_set &points_to) | constantAnalyzer | |
expr_value_map typedef | constantAnalyzer | [private] |
expr_value_map_p typedef | constantAnalyzer | [private] |
has_truth_value(const constant *val, bool &value) | constantAnalyzer | |
has_value(const constant *val) | constantAnalyzer | [inline] |
lookup(const constant &value) | constantAnalyzer | |
lookup_expression(exprNode *expr) | constantAnalyzer | |
lookup_flowvalue(memoryDef *def) | constantAnalyzer | |
lookup_stmt(stmtNode *expr) | constantAnalyzer | |
meet(const constant *one, const constant *two) | constantAnalyzer | |
print(ostream &o, const constant *val) | constantAnalyzer | [inline] |
rebuild_flowvalue(pointerValue &pointer) | constantAnalyzer | |
record_change(memoryDef *def) | constantAnalyzer | [private] |
record_expression(exprNode *expr, const constant *val) | constantAnalyzer | |
record_stmt(stmtNode *stmt, const constant *val) | constantAnalyzer | |
set_null_object(memoryBlock *null_object) | constantAnalyzer | [inline] |
stmt_value_map typedef | constantAnalyzer | [private] |
stmt_value_map_p typedef | constantAnalyzer | [private] |
to_string(const constant *val) | constantAnalyzer | [inline] |
top() const | constantAnalyzer | [inline] |
update_flowvalue(const constant *val, memoryDef *def) | constantAnalyzer | |
~constantAnalyzer() | constantAnalyzer | |