Struct rupta::pta::PTACallbacks

pub struct PTACallbacks {
    pub options: AnalysisOptions,
    /* private fields */
}

Fields

options: AnalysisOptions

Options provided to the analysis.

Implementations

impl PTACallbacks

Constructor

pub fn new(options: AnalysisOptions) -> PTACallbacks

Trait Implementations

impl Callbacks for PTACallbacks

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

Called before creating the compiler instance

fn after_analysis<'tcx>( &mut self, compiler: &Compiler, queries: &'tcx Queries<'tcx> ) -> Compilation

Called after the compiler has completed all analysis passes and before it lowers MIR to LLVM IR. At this point the compiler is ready to tell us all it knows and we can proceed to do abstract interpretation of all of the functions that will end up in the compiler output. If this method returns false, the compilation will stop.

fn after_crate_root_parsing<'tcx>( &mut self, _compiler: &Compiler, _queries: &'tcx Queries<'tcx> ) -> 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_expansion<'tcx>( &mut self, _compiler: &Compiler, _queries: &'tcx Queries<'tcx> ) -> Compilation

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