Enum AnalysisKind 

pub enum AnalysisKind {
    Alias {
        strategy: AliasStrategyKind,
    },
    Adg(AdgArgs),
    Upg,
    UpgStd,
    Callgraph,
    Dataflow {
        debug: bool,
    },
    OwnedHeap,
    Pathcond,
    Range {
        debug: bool,
    },
    Scan,
    Ssa,
    Mir,
    DotMir,
}

Variants

Alias

perform alias analysis (meet-over-paths by default)

Fields

strategy: AliasStrategyKind

specify the alias analysis strategy

Adg(AdgArgs)

generate API dependency graphs

Upg

generate unsafety propagation graphs for each module

UpgStd

generate unsafety propagation graphs for each module of the Rust standard library

Callgraph

generate callgraphs

Dataflow

generate dataflow graphs

Fields

debug: bool

print debug information during dataflow analysis

OwnedHeap

analyze if the type holds a piece of memory on heap

Pathcond

extract path constraints

Range

perform range analysis

Fields

debug: bool

print debug information during range analysis

Scan

print basic information of the crate, e.g., the number of APIs

Ssa

print the SSA form of the crate

Mir

print the MIR of the crate

DotMir

print the MIR of the crate in dot format

Trait Implementations

impl Clone for AnalysisKind

fn clone(&self) -> AnalysisKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AnalysisKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl FromArgMatches for AnalysisKind

fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>

Instantiate Self from [ArgMatches], parsing the arguments as needed.

fn from_arg_matches_mut( __clap_arg_matches: &mut ArgMatches, ) -> Result<Self, Error>

Instantiate Self from [ArgMatches], parsing the arguments as needed.

fn update_from_arg_matches( &mut self, __clap_arg_matches: &ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

fn update_from_arg_matches_mut<'b>( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

impl Subcommand for AnalysisKind

fn augment_subcommands<'b>(__clap_app: Command) -> Command

Append to [Command] so it can instantiate Self via [FromArgMatches::from_arg_matches_mut]

fn augment_subcommands_for_update<'b>(__clap_app: Command) -> Command

Append to [Command] so it can instantiate self via [FromArgMatches::update_from_arg_matches_mut]

fn has_subcommand(__clap_name: &str) -> bool

Test whether Self can parse a specific subcommand