Struct ClapAnalysisCtrl

struct ClapAnalysisCtrl {
    analyze: Vec<String>,
    no_interprocedural_analysis: bool,
    no_adaptive_approximation: bool,
    include: Vec<String>,
    no_pdg_cache: bool,
    k_depth: Option<u32>,
}

Arguments that control the flow analysis

Fields

analyze: Vec<String>

Target this function as analysis entrypoint. 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_interprocedural_analysis: bool

Limits the PDG to a single function. This is intended for testing and should not be used in production.

no_adaptive_approximation: bool

Do not decide whether to represent a function in the PDG based on the presence of markers. This will create very large PDGs that span all crates configured for analysis and with source code present.

include: Vec<String>

Limit the set of crates to analyze. Beware that if those crates contain marked code (other than the surface API), this poses a soundness risk. This is intended as an optimization experts can apply for large projects.

no_pdg_cache: bool

k_depth: Option<u32>

Add an additional k inlining steps on top of what the marker guided setup recommends. If adaptive approximation is enabled this defaults to 0, if it is enabled it defaults to no limit.

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.