dialyzer_callgraph
Functions
new() -> term()
delete(Dialyzer_callgraph) -> term()
split_into_components(CG) -> term()
all_nodes(Dialyzer_callgraph) -> term()
lookup_rec_var(Label, Dialyzer_callgraph) -> term()
lookup_call_site(Label, Dialyzer_callgraph) -> term()
lookup_name(Label, Dialyzer_callgraph) -> term()
lookup_label(MFA, Dialyzer_callgraph) -> term()
in_neighbours(Label, CG) -> term()
is_self_rec(MfaOrLabel, Dialyzer_callgraph) -> term()
is_escaping(Label, Dialyzer_callgraph) -> term()
take_scc(CG) -> term()
remove_external(CG) -> term()
non_local_calls(Dialyzer_callgraph) -> term()
modules(Dialyzer_callgraph) -> term()
module_postorder(Dialyzer_callgraph) -> term()
finalize(CG) -> term()
reset_from_funs(Funs, CG) -> term()
module_postorder_from_funs(Funs, CG) -> term()
scan_core_tree(Tree, CG) -> term()
scan_icode(List, Callgraph) -> term()
to_dot(CG) -> term()
View Functions
- new/0
- delete/1
- split_into_components/1
- all_nodes/1
- lookup_rec_var/2
- lookup_call_site/2
- lookup_name/2
- lookup_label/2
- in_neighbours/2
- is_self_rec/2
- is_escaping/2
- take_scc/1
- remove_external/1
- non_local_calls/1
- modules/1
- module_postorder/1
- finalize/1
- reset_from_funs/2
- module_postorder_from_funs/2
- scan_core_tree/2
- scan_icode/2
- to_dot/1