rapx/analysis/rcanary/ranalyzer/
inter_visitor.rs

1use super::super::RcxMut;
2use super::FlowAnalysis;
3use rustc_data_structures::graph;
4use rustc_middle::ty::InstanceKind::Item; 
5
6impl<'tcx, 'a> FlowAnalysis<'tcx, 'a> {
7    pub fn inter_run(&mut self) {
8        let tcx = self.tcx();
9        let mir_keys = tcx.mir_keys(());
10
11        for each_mir in mir_keys {
12            //let sw = Stopwatch::start_new();
13            let def_id = each_mir.to_def_id();
14            let body = tcx.instance_mir(Item(def_id));
15            if graph::is_cyclic(&body.basic_blocks) {
16                continue;
17            }
18
19            let mut cfg = z3::Config::new();
20            cfg.set_model_generation(true);
21            cfg.set_timeout_msec(1000);
22
23            //let ctx = z3::Context::new(&cfg);
24            //let goal = z3::Goal::new(&ctx, true, false, false);
25            //let solver = z3::Solver::new(&ctx);
26            //let inter_visitor = InterFlowAnalysis::new(self.rcx);
27        }
28    }
29}