Struct RapCallback

pub struct RapCallback {

    pub(crate) alias: bool,
    pub(crate) api_dependency: bool,
    pub(crate) callgraph: bool,
    pub(crate) dataflow: usize,
    pub(crate) ownedheap: bool,
    pub(crate) range: usize,
    pub(crate) ssa: bool,
    pub(crate) test: bool,
    pub(crate) infer: bool,
    pub(crate) opt: usize,
    pub(crate) rcanary: bool,
    pub(crate) safedrop: bool,
    pub(crate) show_mir: bool,
    pub(crate) unsafety_isolation: usize,
    pub(crate) verify: bool,
}

This is the data structure to handle rapx options as a rustc callback.

Fields

alias: bool

api_dependency: bool

callgraph: bool

dataflow: usize

ownedheap: bool

range: usize

ssa: bool

test: bool

infer: bool

opt: usize

rcanary: bool

safedrop: bool

show_mir: bool

unsafety_isolation: usize

verify: bool

Implementations

impl RapCallback

pub fn enable_alias(&mut self, arg: String)

Enable alias analysis. The parameter is used to config the threshold of alias analysis. Currently, we mainly use it to control the depth of field-sensitive analysis. -alias0: set field depth limit to 10; do not distinguish different flows within a each strongly-connected component. -alias1: set field depth limit to 20 (this is default setting). -alias2: set field depth limit to 30.

pub fn is_alias_enabled(&self) -> bool

Test if alias analysis is enabled.

pub fn enable_api_dependency(&mut self)

Enable API-dependency graph generation.

pub fn is_api_dependency_enabled(self) -> bool

Test if API-dependency graph generation is enabled.

pub fn enable_callgraph(&mut self)

Enable call-graph analysis.

pub fn is_callgraph_enabled(&self) -> bool

Test if call-graph analysis is enabled.

pub fn enable_ownedheap(&mut self)

Enable owned heap analysis.

pub fn is_ownedheap_enabled(self) -> bool

Test if owned-heap analysis is enabled.

pub fn enable_dataflow(&mut self, x: usize)

Enable dataflow analysis.

pub fn is_dataflow_enabled(self) -> usize

Test if dataflow analysis is enabled.

pub fn enable_range_analysis(&mut self, x: usize)

Enable range analysis.

pub fn is_range_analysis_enabled(self) -> bool

Test if range analysis is enabled.

pub fn enable_test(&mut self)

Enable test of features provided by the core analysis traits.

pub fn is_test_enabled(self) -> bool

Check if test is enabled.

pub fn enable_ssa_transform(&mut self)

Enable ssa transformation

pub fn is_ssa_transform_enabled(self) -> bool

Test if ssa transformation is enabled.

pub fn enable_opt(&mut self, x: usize)

Enable optimization analysis for performance bug detection.

pub fn is_opt_enabled(self) -> usize

Test if optimization analysis is enabled.

pub fn enable_rcanary(&mut self)

Enable rcanary for memory leakage detection.

pub fn is_rcanary_enabled(&self) -> bool

Test if rcanary is enabled.

pub fn enable_safedrop(&mut self, arg: String)

Enable safedrop for use-after-free bug detection. Similar to alias analysis, the second parameter is to control the depth threshold for field-sensitive analysis.

pub fn is_safedrop_enabled(&self) -> bool

Test if safedrop is enabled.

pub fn enable_show_mir(&mut self)

Enable mir display.

pub fn is_show_mir_enabled(&self) -> bool

Test if mir display is enabled.

pub fn enable_unsafety_isolation(&mut self, x: usize)

pub fn is_unsafety_isolation_enabled(&self) -> usize

pub fn enable_verify(&mut self)

pub fn is_verify_enabled(&self) -> bool

pub fn enable_infer(&mut self)

pub fn is_infer_enabled(&self) -> bool

Trait Implementations

impl Callbacks for RapCallback

fn config(&mut self, config: &mut Config)

Called before creating the compiler instance

fn after_crate_root_parsing( &mut self, _compiler: &Compiler, _krate: &mut Crate, ) -> Compilation

Called after parsing the crate root. Submodules are not yet parsed when this callback is called. Return value instructs the compiler whether to continue the compilation afterwards (defaults to Compilation::Continue)

fn after_analysis<'tcx>( &mut self, _compiler: &Compiler, tcx: TyCtxt<'tcx>, ) -> Compilation

Called after analysis. Return value instructs the compiler whether to continue the compilation afterwards (defaults to Compilation::Continue)

fn after_expansion<'tcx>( &mut self, _compiler: &Compiler, _tcx: TyCtxt<'tcx>, ) -> Compilation

Called after expansion. Return value instructs the compiler whether to continue the compilation afterwards (defaults to Compilation::Continue)

impl Clone for RapCallback

fn clone(&self) -> RapCallback

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RapCallback

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

Formats the value using the given formatter.

impl Default for RapCallback

fn default() -> Self

Returns the “default value” for a type.

impl Hash for RapCallback

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Copy for RapCallback