Struct IntraFlowAnalysis

struct IntraFlowAnalysis<'tcx, 'ctx, 'a> {
    rcx: &'a rCanary<'tcx>,
    icx: IntraFlowContext<'tcx, 'ctx>,
    icx_slice: IcxSliceFroBlock<'tcx, 'ctx>,
    did: DefId,
    body: &'a Body<'tcx>,
    graph: &'a Graph,
    elasped: Elapsed,
    taint_flag: bool,
    taint_source: Vec<Terminator<'tcx>>,
}

Fields

rcx: &'a rCanary<'tcx>

icx: IntraFlowContext<'tcx, 'ctx>

icx_slice: IcxSliceFroBlock<'tcx, 'ctx>

did: DefId

body: &'a Body<'tcx>

graph: &'a Graph

elasped: Elapsed

taint_flag: bool

taint_source: Vec<Terminator<'tcx>>

Implementations

impl<'tcx, 'ctx, 'a> IntraFlowAnalysis<'tcx, 'ctx, 'a>

pub(crate) fn visit_body( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, body: &'tcx Body<'tcx>, )

pub(crate) fn visit_block_data( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, data: &'tcx BasicBlockData<'tcx>, bidx: usize, )

pub(crate) fn preprocess_for_basic_block( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, bidx: usize, )

pub(crate) fn reprocess_for_basic_block(&mut self, bidx: usize)

pub(crate) fn visit_statement( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, stmt: &Statement<'tcx>, bidx: usize, sidx: usize, )

pub(crate) fn visit_terminator( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, term: &'tcx Terminator<'tcx>, bidx: usize, )

pub(crate) fn visit_assign( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, lplace: &Place<'tcx>, rvalue: &Rvalue<'tcx>, disc: Option<VariantIdx>, bidx: usize, sidx: usize, )

pub(crate) fn handle_copy( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, _kind: AsgnKind, lplace: &Place<'tcx>, rplace: &Place<'tcx>, bidx: usize, sidx: usize, )

pub(crate) fn handle_move( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, _kind: AsgnKind, lplace: &Place<'tcx>, rplace: &Place<'tcx>, bidx: usize, sidx: usize, )

pub(crate) fn handle_copy_from_field( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, _kind: AsgnKind, lplace: &Place<'tcx>, rplace: &Place<'tcx>, bidx: usize, sidx: usize, )

pub(crate) fn handle_move_from_field( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, _kind: AsgnKind, lplace: &Place<'tcx>, rplace: &Place<'tcx>, bidx: usize, sidx: usize, )

pub(crate) fn handle_aggregate_init( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, _kind: AsgnKind, lplace: &Place<'tcx>, _aggre_did: DefId, vidx: VariantIdx, disc: Option<VariantIdx>, bidx: usize, sidx: usize, )

pub(crate) fn handle_copy_to_field( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, _kind: AsgnKind, lplace: &Place<'tcx>, rplace: &Place<'tcx>, disc: Option<VariantIdx>, aggre: Option<usize>, bidx: usize, sidx: usize, )

pub(crate) fn handle_move_to_field( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, _kind: AsgnKind, lplace: &Place<'tcx>, rplace: &Place<'tcx>, disc: Option<VariantIdx>, aggre: Option<usize>, bidx: usize, sidx: usize, )

pub(crate) fn handle_copy_field_to_field( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, _kind: AsgnKind, lplace: &Place<'tcx>, rplace: &Place<'tcx>, disc: Option<VariantIdx>, aggre: Option<usize>, bidx: usize, sidx: usize, )

pub(crate) fn handle_move_field_to_field( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, _kind: AsgnKind, lplace: &Place<'tcx>, rplace: &Place<'tcx>, disc: Option<VariantIdx>, aggre: Option<usize>, bidx: usize, sidx: usize, )

pub(crate) fn check_fn_source( &mut self, args: &Box<[Spanned<Operand<'tcx>>]>, dest: &Place<'tcx>, ) -> bool

pub(crate) fn check_fn_recovery( &mut self, args: &Box<[Spanned<Operand<'tcx>>]>, dest: &Place<'tcx>, ) -> (bool, Vec<usize>)

pub(crate) fn handle_call( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, term: Terminator<'tcx>, func: &Operand<'tcx>, args: &Box<[Spanned<Operand<'tcx>>]>, dest: &Place<'tcx>, bidx: usize, )

pub(crate) fn handle_return( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, bidx: usize, )

pub(crate) fn handle_drop( &mut self, ctx: &'ctx Context, goal: &'ctx Goal<'ctx>, solver: &'ctx Solver<'ctx>, dest: &Place<'tcx>, bidx: usize, recovery: bool, )

pub(crate) fn handle_intra_var_unsupported(&mut self, idx: usize)

pub(crate) fn handle_taint(&mut self, l: usize, r: usize)

pub(crate) fn extract_default_ty_layout( &mut self, ty: Ty<'tcx>, variant: Option<VariantIdx>, ) -> OwnershipLayoutResult

pub(crate) fn generate_ptr_layout( &mut self, ty: Ty<'tcx>, variant: Option<VariantIdx>, ) -> RustBV

fn extract_projection( &self, place: &Place<'tcx>, aggre: Option<usize>, ) -> ProjectionSupport<'tcx>

impl<'tcx, 'ctx, 'a> IntraFlowAnalysis<'tcx, 'ctx, 'a>

pub fn new(rcx: &'a rCanary<'tcx>, did: DefId) -> Self

pub fn did(&self) -> DefId

pub fn body(&self) -> &'a Body<'tcx>

pub fn owner(&self) -> &AdtOwner

pub fn graph(&self) -> &Graph

pub fn get_time_build(&self) -> i64

pub fn get_time_solve(&self) -> i64

pub fn add_taint(&mut self, terminator: Terminator<'tcx>)

Trait Implementations

impl<'tcx, 'ctx, 'o, 'a> IcxMut<'tcx, 'ctx, 'o> for IntraFlowAnalysis<'tcx, 'ctx, 'a>

fn icx(&'o self) -> &'o IntraFlowContext<'tcx, 'ctx>

fn icx_mut(&'o mut self) -> &'o mut IntraFlowContext<'tcx, 'ctx>

impl<'tcx, 'ctx, 'o, 'a> IcxSliceMut<'tcx, 'ctx, 'o> for IntraFlowAnalysis<'tcx, 'ctx, 'a>

fn icx_slice(&'o self) -> &'o IcxSliceFroBlock<'tcx, 'ctx>

fn icx_slice_mut(&'o mut self) -> &'o mut IcxSliceFroBlock<'tcx, 'ctx>

impl<'tcx, 'ctx, 'o, 'a> Rcx<'tcx, 'o, 'a> for IntraFlowAnalysis<'tcx, 'ctx, 'a>

fn rcx(&'o self) -> &'a rCanary<'tcx>

fn tcx(&'o self) -> TyCtxt<'tcx>