procedureDB Member ListThis is the complete list of members for procedureDB, including all inherited members.
| _callgraph | procedureDB | [private] |
| _callstack | procedureDB | [private] |
| _need_reanalysis | procedureDB | [private] |
| _procedures | procedureDB | [private] |
| _root | procedureDB | [private] |
| _worklist | procedureDB | [private] |
| add_procedure(procNode *proc) | procedureDB | |
| add_procedure_to_worklist(procedureInfo *info) | procedureDB | |
| at_array(arrayNode *the_array, Order ord) | Walker | [inline, virtual] |
| at_attrib(attribNode *the_attrib, Order ord) | Walker | [inline, virtual] |
| at_basicblock(basicblockNode *the_basicblock, Order ord) | Walker | [inline, virtual] |
| at_binary(binaryNode *the_binary, Order ord) | Walker | [inline, virtual] |
| at_block(blockNode *the_block, Order ord) | Walker | [inline, virtual] |
| at_break(breakNode *the_break, Order ord) | Walker | [inline, virtual] |
| at_call(callNode *the_call, Order ord) | Walker | [inline, virtual] |
| at_case(caseNode *the_case, Order ord) | Walker | [inline, virtual] |
| at_cast(castNode *the_cast, Order ord) | Walker | [inline, virtual] |
| at_comma(commaNode *the_comma, Order ord) | Walker | [inline, virtual] |
| at_conditiongoto(conditiongotoNode *the_condgoto, Order ord) | Walker | [inline, virtual] |
| at_const(constNode *the_const, Order ord) | Walker | [inline, virtual] |
| at_continue(continueNode *the_continue, Order ord) | Walker | [inline, virtual] |
| at_decl(declNode *the_decl, Order ord) | Walker | [inline, virtual] |
| at_def(defNode *the_def, Order ord) | Walker | [inline, virtual] |
| at_do(doNode *the_do, Order ord) | Walker | [inline, virtual] |
| at_enum(enumNode *the_enum, Order ord) | Walker | [inline, virtual] |
| at_expr(exprNode *the_expr, Order ord) | Walker | [inline, virtual] |
| at_exprstmt(exprstmtNode *the_exprstmt, Order ord) | Walker | [inline, virtual] |
| at_for(forNode *the_for, Order ord) | Walker | [inline, virtual] |
| at_func(funcNode *the_func, Order ord) | Walker | [inline, virtual] |
| at_goto(gotoNode *the_goto, Order ord) | Walker | [inline, virtual] |
| at_id(idNode *the_id, Order ord) | Walker | [inline, virtual] |
| at_if(ifNode *the_if, Order ord) | Walker | [inline, virtual] |
| at_index(indexNode *the_index, Order ord) | Walker | [inline, virtual] |
| at_initializer(initializerNode *the_initializer, Order ord) | Walker | [inline, virtual] |
| at_jump(jumpNode *the_jump, Order ord) | Walker | [inline, virtual] |
| at_label(labelNode *the_label, Order ord) | Walker | [inline, virtual] |
| at_loop(loopNode *the_loop, Order ord) | Walker | [inline, virtual] |
| at_node(Node *the_node, Order ord) | Walker | [inline, virtual] |
| at_operand(operandNode *the_oper, Order ord) | Walker | [inline, virtual] |
| at_prim(primNode *the_prim, Order ord) | Walker | [inline, virtual] |
| at_proc(procNode *the_proc, Order ord) | Walker | [inline, virtual] |
| at_ptr(ptrNode *the_ptr, Order ord) | Walker | [inline, virtual] |
| at_return(returnNode *the_return, Order ord) | Walker | [inline, virtual] |
| at_selection(selectionNode *the_selection, Order ord) | Walker | [inline, virtual] |
| at_stmt(stmtNode *the_stmt, Order ord) | Walker | [inline, virtual] |
| at_struct(structNode *the_struct, Order ord) | Walker | [inline, virtual] |
| at_subdecl(subdeclNode *the_subdecl, Order ord) | Walker | [inline, virtual] |
| at_sue(sueNode *the_sue, Order ord) | Walker | [inline, virtual] |
| at_suespec(suespecNode *the_suespec, Order ord) | Walker | [inline, virtual] |
| at_switch(switchNode *the_switch, Order ord) | Walker | [inline, virtual] |
| at_target(targetNode *the_target, Order ord) | Walker | [inline, virtual] |
| at_tdef(tdefNode *the_tdef, Order ord) | Walker | [inline, virtual] |
| at_ternary(ternaryNode *the_ternary, Order ord) | Walker | [inline, virtual] |
| at_text(textNode *the_text, Order ord) | Walker | [inline, virtual] |
| at_threeAddr(threeAddrNode *the_3addr, Order ord) | Walker | [inline, virtual] |
| at_type(typeNode *the_type, Order ord) | Walker | [inline, virtual] |
| at_unary(unaryNode *the_unary, Order ord) | Walker | [inline, virtual] |
| at_union(unionNode *the_union, Order ord) | Walker | [inline, virtual] |
| at_unit(unitNode *the_unit, Order ord) | Walker | [inline, virtual] |
| at_while(whileNode *the_while, Order ord) | Walker | [inline, virtual] |
| Both enum value | Walker | |
| build(procNode *root, Linker &linker) | procedureDB | |
| call_to(stmtLocation *callsite, procedureInfo *callee) | procedureDB | |
| callstack() const | procedureDB | [inline] |
| clear() | procedureDB | |
| clear_call_stack() | procedureDB | |
| current_caller() | procedureDB | |
| current_callsite() | procedureDB | [inline] |
| depth() const | Walker | [inline] |
| Depth enum name | Walker | |
| is_procedure_on_worklist(procedureInfo *info) | procedureDB | |
| is_reanalysis_required(procedureInfo *info) | procedureDB | |
| is_recursive_call(procedureInfo *callee, int &num_instances) | procedureDB | |
| is_visible_to(procedureInfo *info, memoryBlock *block) | procedureDB | |
| is_visible_to_caller(procedureInfo *info, memoryBlock *block) | procedureDB | |
| lookup(procNode *proc) | procedureDB | |
| mark_for_reanalysis(procedureInfo *info, stmtLocation *callsite, bool include_self) | procedureDB | |
| mark_one_for_reanalysis(procedureInfo *info) | procedureDB | |
| next_procedure_on_worklist() | procedureDB | |
| NodeOnly enum value | Walker | |
| number_of_procedures(int &total, int &analyzed, int &context_insensitive, int &recursive, int &unanalyzed, int &program_size) | procedureDB | |
| order() const | Walker | [inline] |
| Order enum name | Walker | |
| Postorder enum value | Walker | |
| Preorder enum value | Walker | |
| print_call_stack(ostream &out) | procedureDB | |
| print_leftovers() | procedureDB | |
| procedureDB() | procedureDB | |
| procedures() const | procedureDB | [inline] |
| progress_meter(ostream &out) | procedureDB | |
| return_from() | procedureDB | |
| setup_analysis() | procedureDB | |
| size() const | procedureDB | [inline] |
| stats(ostream &out) | procedureDB | |
| Subtree enum value | Walker | |
| times_called(procedureInfo *info) | procedureDB | |
| Walker(Order the_order, Depth depth) | Walker | [inline] |
| ~procedureDB() | procedureDB | |
|