| _context_sensitivity_threshold | Pointers | [protected] |
| _debug | Pointers | [protected] |
| _direction | Pointers | [protected] |
| _procedureCount | Pointers | [protected] |
| _show_progress | Pointers | [protected] |
| _skipCount | Pointers | [protected] |
| _unknown_procedures | Pointers | [protected] |
| analyze() | Pointers | |
| analyze(analysisProblem *problem) | Pointers | |
| analyze_procedure(procLocation *current, memoryblock_set &external_defs, memoryuse_set &external_uses, memoryblock_set &external_changes, pointerValue &return_val) | Pointers | |
| assignment_operator(procedureInfo *info, Location *current, pointerValue &left_hand_side, pointerValue &right_hand_side, memoryblock_set &defs, memoryuse_set &uses, memoryblock_set &changes, bool additive=false) | Pointers | |
| call_operator(procedureInfo *caller, stmtLocation *current, callNode *call, memoryblock_set &defs, memoryuse_set &uses, memoryblock_set &changes, pointerValue &result) | Pointers | |
| clear() | Pointers | |
| computePointers | Pointers | [protected] |
| conservative_procedure_call(procedureInfo *info, stmtLocation *current, pointervalue_list &arguments, memoryblock_set &reachable, memoryblock_set &external_defs, memoryuse_set &external_uses, memoryblock_set &external_changes, pointerValue &return_val) | Pointers | |
| determine_call_targets(procedureInfo *caller, stmtLocation *current, callNode *call, memoryblock_set &defs, memoryuse_set &uses, memoryblock_set &changes, pointerValue &targets) | Pointers | |
| dot_operator(stmtLocation *current, const string &field_name, declNode *field_decl, pointerValue &operand, memoryuse_set &uses, pointerValue &result) | Pointers | |
| eval(procedureInfo *info, stmtLocation *current, exprNode *E, memoryblock_set &defs, memoryuse_set &uses, memoryblock_set &changes, pointerValue &result, bool result_is_a_use) | Pointers | |
| generate_uses(procedureInfo *info, Location *where, memoryuse_set &uses, pointerValue &pointer) | Pointers | |
| HeapMap | Pointers | [protected] |
| hide_progress() | Pointers | [inline] |
| is_allocation(pointerValue &call_targets) | Pointers | [protected, static] |
| is_deallocation(pointerValue &call_targets) | Pointers | [protected, static] |
| is_pointer_expression(exprNode *expr) | Pointers | |
| is_va_end(pointerValue &call_targets) | Pointers | [protected, static] |
| is_va_list(declNode *decl) | Pointers | [protected, static] |
| is_va_list(exprNode *expr) | Pointers | [protected, static] |
| is_va_start(pointerValue &call_targets) | Pointers | [protected, static] |
| linker | Pointers | [protected] |
| lookup_heap_object(stmtLocation *current) | Pointers | [protected] |
| lookup_memoryblock(Location *location, declNode *decl) | Pointers | |
| lookup_procedure(procNode *proc) | Pointers | |
| lookup_string_constant(stmtLocation *current, constant &value) | Pointers | [protected] |
| Memory | Pointers | [protected] |
| merge(const memoryblock_set &source, memoryblock_set &dest) | Pointers | [protected, static] |
| merge_operator(procedureInfo *info, Location *current, memoryBlock *block_to_merge, memoryuse_list &phi_uses, memoryblock_set &defs, memoryuse_set &uses, memoryblock_set &changes) | Pointers | |
| nearest_def_at(procedureInfo *info, memoryBlock *block, Location *where) | Pointers | |
| pass_external_inputs(procedureInfo *info, memoryuse_set &external_uses, memoryblock_set &changed_inputs) | Pointers | |
| pass_external_outputs(procedureInfo *info, memoryblock_set &external_defs, memoryblock_set &external_changes) | Pointers | |
| pass_parameters(procedureInfo *info, procedureInfo *caller, procLocation *callee_path, procNode *callee, pointervalue_list &arguments, memoryblock_set &changed_inputs, pointerValue &return_val) | Pointers | |
| Pointers(procNode *root, unitNode *unit, bool debug=false) | Pointers | |
| print_memoryblock_def_set(const string &label, const memoryblock_set &the_set, ostream &o) | Pointers | [protected, static] |
| print_memoryblock_set(const string &label, const memoryblock_set &the_set, ostream &o) | Pointers | [protected, static] |
| print_memorydef_set(const string &label, const memorydef_set &the_set, ostream &o) | Pointers | [protected, static] |
| Problem | Pointers | [protected] |
| procedure_call(procedureInfo *caller, stmtLocation *current, callNode *call, pointerValue &call_target, pointervalue_list &arguments, memoryblock_set &external_defs, memoryuse_set &external_uses, memoryblock_set &external_changes, pointerValue &return_val) | Pointers | [virtual] |
| Procedures | Pointers | [protected] |
| process_changes(procedureInfo *info, basicblockLocation *current_block, memoryblock_set &changes, memoryblock_set &external_changes) | Pointers | |
| process_merge_point(procedureInfo *info, basicblockLocation *current_block, pointerValue &result, memoryblock_set &defs, memoryuse_set &uses, memoryblock_set &changes) | Pointers | |
| progress_meter(procedureInfo *info, bool skipped) | Pointers | [protected] |
| reachable_blocks(Location *where, memoryblock_list &worklist, memoryblock_set &already_seen) | Pointers | |
| reanalyze_at(procedureInfo *info, stmtLocation *callsite) | Pointers | |
| record_external_inputs_and_outputs(procedureInfo *info, procLocation *current, memoryblock_set &defs, memoryblock_set &external_defs, memoryuse_set &uses, memoryuse_set &external_uses) | Pointers | |
| Root | Pointers | [protected] |
| root_location | Pointers | [protected] |
| set_context_sensitivity_threshold(int threshold) | Pointers | |
| setup_va_list_variables(procedureInfo *info, procLocation *callee_path, procNode *callee, memoryBlock *ellipsis, pointerValue &return_val) | Pointers | [protected] |
| show_progress() | Pointers | [inline] |
| star_operator(stmtLocation *current, pointerValue &operand, memoryuse_set &uses, pointerValue &result) | Pointers | |
| stats(ostream &out) | Pointers | |
| string_set typedef | Pointers | |
| string_set_p typedef | Pointers | |
| uses_and_defs() | Pointers | |
| ~Pointers() | Pointers | |
