dialyzer_callgraph
(dialyzer)
Functions
add_edges(Edges, CG) -> term()
all_nodes(Callgraph) -> term()
cleanup(Callgraph) -> term()
delete(Callgraph) -> term()
finalize(Callgraph) -> term()
get_behaviour_api_calls(Callgraph) -> term()
get_digraph(Callgraph) -> term()
get_named_tables(Callgraph) -> term()
get_public_tables(Callgraph) -> term()
get_race_code(Callgraph) -> term()
get_race_detection(Callgraph) -> term()
in_neighbours(Label, Callgraph) -> term()
is_escaping(Label, Callgraph) -> term()
is_self_rec(MfaOrLabel, Callgraph) -> term()
lookup_call_site(Label, Callgraph) -> term()
lookup_label(MFA, Callgraph) -> term()
lookup_name(Label, Callgraph) -> term()
lookup_rec_var(Label, Callgraph) -> term()
module_deps(Callgraph) -> term()
module_postorder_from_funs(Funs, Callgraph) -> term()
modules(Callgraph) -> term()
new() -> term()
non_local_calls(Callgraph) -> term()
put_behaviour_api_calls(Calls, Callgraph) -> term()
put_digraph(Digraph, Callgraph) -> term()
put_named_tables(NamedTables, Callgraph) -> term()
put_public_tables(PublicTables, Callgraph) -> term()
put_race_code(RaceCode, Callgraph) -> term()
put_race_detection(RaceDetection, Callgraph) -> term()
race_code_new(Callgraph) -> term()
remove_external(Callgraph) -> term()
renew_race_info(CG, RaceCode, PublicTables, NamedTables) -> term()
reset_from_funs(Funs, Callgraph) -> term()
scan_core_tree(Tree, Callgraph) -> term()
strip_module_deps(ModDeps, StripSet) -> term()
take_scc(Callgraph) -> term()
to_dot(Callgraph, File) -> term()
to_ps(Callgraph, File, Args) -> term()
Functions
add_edges(Edges, CG) -> term()
all_nodes(Callgraph) -> term()
cleanup(Callgraph) -> term()
delete(Callgraph) -> term()
finalize(Callgraph) -> term()
get_behaviour_api_calls(Callgraph) -> term()
get_digraph(Callgraph) -> term()
get_named_tables(Callgraph) -> term()
get_public_tables(Callgraph) -> term()
get_race_code(Callgraph) -> term()
get_race_detection(Callgraph) -> term()
in_neighbours(Label, Callgraph) -> term()
is_escaping(Label, Callgraph) -> term()
is_self_rec(MfaOrLabel, Callgraph) -> term()
lookup_call_site(Label, Callgraph) -> term()
lookup_label(MFA, Callgraph) -> term()
lookup_name(Label, Callgraph) -> term()
lookup_rec_var(Label, Callgraph) -> term()
module_deps(Callgraph) -> term()
module_postorder_from_funs(Funs, Callgraph) -> term()
modules(Callgraph) -> term()
new() -> term()
non_local_calls(Callgraph) -> term()
put_behaviour_api_calls(Calls, Callgraph) -> term()
put_digraph(Digraph, Callgraph) -> term()
put_named_tables(NamedTables, Callgraph) -> term()
put_public_tables(PublicTables, Callgraph) -> term()
put_race_code(RaceCode, Callgraph) -> term()
put_race_detection(RaceDetection, Callgraph) -> term()
race_code_new(Callgraph) -> term()
remove_external(Callgraph) -> term()
renew_race_info(CG, RaceCode, PublicTables, NamedTables) -> term()
reset_from_funs(Funs, Callgraph) -> term()
scan_core_tree(Tree, Callgraph) -> term()
strip_module_deps(ModDeps, StripSet) -> term()
take_scc(Callgraph) -> term()
to_dot(Callgraph, File) -> term()
to_ps(Callgraph, File, Args) -> term()
View Functions
- add_edges/2
- all_nodes/1
- cleanup/1
- delete/1
- finalize/1
- get_behaviour_api_calls/1
- get_digraph/1
- get_named_tables/1
- get_public_tables/1
- get_race_code/1
- get_race_detection/1
- in_neighbours/2
- is_escaping/2
- is_self_rec/2
- lookup_call_site/2
- lookup_label/2
- lookup_name/2
- lookup_rec_var/2
- module_deps/1
- module_postorder_from_funs/2
- modules/1
- new/0
- non_local_calls/1
- put_behaviour_api_calls/2
- put_digraph/2
- put_named_tables/2
- put_public_tables/2
- put_race_code/2
- put_race_detection/2
- race_code_new/1
- remove_external/1
- renew_race_info/4
- reset_from_funs/2
- scan_core_tree/2
- strip_module_deps/2
- take_scc/1
- to_dot/2
- to_ps/3