Struct ClapAnalysisCtrl

struct ClapAnalysisCtrl {
    analyze: Vec<String>,
    no_cross_function_analysis: bool,
    adaptive_depth: bool,
    unconstrained_depth: bool,
    include: Vec<String>,
}

Arguments that control the flow analysis

Fields

analyze: Vec<String>

Target this function as analysis target. Command line version of #[paralegal::analyze]). Must be a full rust path and resolve to a function. May be specified multiple times and multiple, comma separated paths may be supplied at the same time.

no_cross_function_analysis: bool

Disables all recursive analysis (both paralegal_flow’s inlining as well as Flowistry’s recursive analysis).

adaptive_depth: bool

Generate PDGs that span all called functions which can attach markers

unconstrained_depth: bool

Generate PDGs that span to all functions for which we have source code.

If no depth option is specified this is the default right now but that is not guaranteed to be the case in the future. If you want to guarantee this is used explicitly supply the argument.

include: Vec<String>

Crates that should be recursed into.

Trait Implementations

impl Args for ClapAnalysisCtrl

fn group_id() -> Option<Id>

Report the 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 FromArgMatches for ClapAnalysisCtrl

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.

impl TryFrom<ClapAnalysisCtrl> for AnalysisCtrl

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: ClapAnalysisCtrl) -> Result<Self, Self::Error>

Performs the conversion.