dialyzer_callgraph

DATA TYPES

active_digraph() = {d, digraph()} | {e, tid() (see module ets), tid() (see module ets)}
callgraph() = #callgraph{digraph=digraph(), active_digraph=undefined | active_digraph(), esc=undefined | tid() (see module ets), letrec_map=undefined | tid() (see module ets), name_map=undefined | tid() (see module ets), rev_name_map=undefined | tid() (see module ets), rec_var_map=undefined | tid() (see module ets), self_rec=undefined | tid() (see module ets), calls=undefined | tid() (see module ets), race_detection=boolean(), race_data_server=pid()}
callgraph_edge() = {mfa_or_funlbl(), mfa_or_funlbl()}
label() = non_neg_integer()
mfa_calls() = [{mfa_or_funlbl(), mfa_or_funlbl()}]
mfa_or_funlbl() = label() | mfa()
scc() = [mfa_or_funlbl()]

Functions


new() -> callgraph()

delete(Callgraph::callgraph()) -> true

all_nodes(Callgraph::callgraph()) -> [mfa()]

lookup_rec_var(Label::label(), Callgraph::callgraph()) -> error | {ok, mfa()}

lookup_letrec(Label::label(), Callgraph::callgraph()) -> error | {ok, label()}

lookup_call_site(Label::label(), Callgraph::callgraph()) -> error | {ok, [term()]}

lookup_name(Label::label(), Callgraph::callgraph()) -> error | {ok, mfa()}

lookup_label(MFA::mfa_or_funlbl(), Callgraph::callgraph()) -> error | {ok, integer()}

in_neighbours(Label::mfa_or_funlbl(), Callgraph::callgraph()) -> none | [mfa_or_funlbl(), ...]

is_self_rec(MfaOrLabel::mfa_or_funlbl(), Callgraph::callgraph()) -> boolean()

is_escaping(Label::label(), Callgraph::callgraph()) -> boolean()

add_edges(Edges::[callgraph_edge()], CG::callgraph()) -> ok

add_edges(Edges::[callgraph_edge()], MFAs::[mfa_or_funlbl()], Callgraph::callgraph()) -> ok

remove_external(Callgraph::callgraph()) -> {callgraph(), [tuple()]}

non_local_calls(Callgraph::callgraph()) -> mfa_calls()

get_depends_on(SCC::scc() | module(), Callgraph::callgraph()) -> [scc()]

get_required_by(SCC::scc() | module(), Callgraph::callgraph()) -> [scc()]

modules(Callgraph::callgraph()) -> [module()]

module_deps(Callgraph::callgraph()) -> dict()

strip_module_deps(ModDeps::dict(), StripSet::set()) -> dict()

finalize(Callgraph::callgraph()) -> {[scc()], callgraph()}

reset_from_funs(Funs::[mfa_or_funlbl()], Callgraph::callgraph()) -> {[scc()], callgraph()}

module_postorder_from_funs(Funs::[mfa_or_funlbl()], Callgraph::callgraph()) -> {[module()], callgraph()}

scan_core_tree(Tree::c_module() (see module cerl), Callgraph::callgraph()) -> {[mfa_or_funlbl()], [callgraph_edge()]}

renew_race_info(Callgraph::callgraph(), RaceCode::dict(), PublicTables::[label()], NamedTables::[string()]) -> callgraph()

renew_race_code(Races::races() (see module dialyzer_races), Callgraph::callgraph()) -> callgraph()

renew_race_public_tables(VarLabel::label(), Callgraph::callgraph()) -> callgraph()

cleanup(Callgraph::callgraph()) -> callgraph()

duplicate(Callgraph::callgraph()) -> callgraph()

dispose_race_server(Callgraph::callgraph()) -> ok

get_digraph(Callgraph::callgraph()) -> digraph()

get_named_tables(Callgraph::callgraph()) -> [string()]

get_public_tables(Callgraph::callgraph()) -> [label()]

get_race_code(Callgraph::callgraph()) -> dict()

get_race_detection(Callgraph::callgraph()) -> boolean()

get_behaviour_api_calls(Callgraph::callgraph()) -> [{mfa(), mfa()}]

race_code_new(Callgraph::callgraph()) -> callgraph()

put_digraph(Digraph::digraph(), Callgraph::callgraph()) -> callgraph()

put_race_code(RaceCode::dict(), Callgraph::callgraph()) -> callgraph()

put_race_detection(RaceDetection::boolean(), Callgraph::callgraph()) -> callgraph()

put_named_tables(NamedTables::[string()], Callgraph::callgraph()) -> callgraph()

put_public_tables(PublicTables::[label()], Callgraph::callgraph()) -> callgraph()

put_behaviour_api_calls(Calls::[{mfa(), mfa()}], Callgraph::callgraph()) -> callgraph()

to_dot(Callgraph::callgraph(), File::filename() (see module file)) -> ok

to_ps(Callgraph::callgraph(), File::filename() (see module file), Args::string()) -> ok