Type Alias rupta::pta::context_sensitive::ObjectSensitivePTA

source · 
pub type ObjectSensitivePTA<'pta, 'tcx, 'compilation> = ContextSensitivePTA<'pta, 'tcx, 'compilation, KObjectSensitive>;
Expand description

The object-sensitive pointer analysis for Rust has not been throughly evaluated so far.

Aliased Type§

struct ObjectSensitivePTA<'pta, 'tcx, 'compilation> {
    pub call_graph: CallGraph<CSFuncId, BaseCallSiteS<CSFuncId>>,
    /* private fields */
}

Fields§

§call_graph: CallGraph<CSFuncId, BaseCallSiteS<CSFuncId>>

Call graph