Method execute

src/analysis/dfa.rs:70–82

(&mut self)

    }

    pub fn execute(&mut self) -> eyre::Result<()> {
        let entry = self.analy_mgr.get_entry_block()?;
        self.handle_block_in(&entry)?;
        self.process_block(&entry)?;
        self.handle_block_out(&entry)?;
        while !self.analy_mgr.worklist.empty() {
            let block = self.analy_mgr.get_next_work();
            self.handle_block_in(&block)?;
            self.process_block(&block)?;
            self.handle_block_out(&block)?
        }
        Ok(())
    }

    fn handle_block_in(&mut self, block: &CFGBlock) -> Result<()> {
        if self.analy_mgr.is_block_ready(block)? {