Struct CheckArgs 

pub struct CheckArgs {
    pub uaf: Option<usize>,
    pub mleak: bool,
    pub opt: Option<OptLevel>,
    pub infer: bool,
    pub verify: bool,
    pub verify_std: bool,
}

Arguments for the check command.

Fields

uaf: Option<usize>

detect use-after-free/double-free

mleak: bool

detect memory leakage

opt: Option<OptLevel>

automatically detect code optimization chances

infer: bool

(under development) infer the safety properties required by unsafe APIs.

verify: bool

(under development) verify if the safety requirements of unsafe API are satisfied.

verify_std: bool

(under development) verify if the safety requirements of unsafe API are satisfied.

Trait Implementations

impl Args for CheckArgs

fn group_id() -> Option<Id>

Report the [ArgGroup::id][crate::ArgGroup::id] for this set of arguments

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

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

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

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

impl Clone for CheckArgs

fn clone(&self) -> CheckArgs

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckArgs

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

Formats the value using the given formatter.

impl FromArgMatches for CheckArgs

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( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.