Expand description
Compute program dependence graphs (PDG) for a function call graph.
Re-exportsยง
pub use callback::CallChangeCallback;
pub use callback::CallChangeCallbackFn;
pub use callback::CallChanges;
pub use callback::CallInfo;
pub use callback::InlineMissReason;
pub use callback::SkipCall;
Modulesยง
- approximation ๐
- async_
support ๐ - Callbacks to influence graph construction and their supporting types.
- construct ๐
- Readers and writers for the intermediate artifacts we store per crate.
- The representation of the PDG.
- local_
analysis ๐ - mutation ๐Identifies the mutated places in a MIR instruction via modular approximation based on types.
Structsยง
- A memoizing constructor of PDGs.
Functionsยง
- Computes a global program dependence graph (PDG) starting from the root function specified by
def_id
. - Try to interpret this function as an async function.
- Does this function have a structure as created by the
#[async_trait]
macro