6.5.5.1. Views

Rust RFGs contain the following views:

• Code Facts

• Entries

• Call

Analyses might enrich the RFG with further views (e.g. Dead Code Analysis).

Code Facts View

The Code Facts view of a Rust RFG contains nodes for all crates, modules, functions, and types in the source code.

Entries View

The entry view of a Rust RFG is similar to the one created for C or C++ projects: it contains entry points of programs (like the main function of executables), and also entities which should be considered ’initially alive’ by analyses like the dead code analysis.

Call View

The Call view of a Rust RFG is similar to the one created for C or C++ projects: Its nodes represent routines. Edges between nodes A and B represent that A calls B or that the address of B is taken in A. The view is useful for detecting call cycles in the program.