Method build_from_seq

src/analysis/adg.rs:801–815

build the graph with a sequence of taint data.

(&mut self, sym_data_seq: &mut TaintDataVec)

    /// build the graph with a sequence of taint data.
    fn build_from_seq(&mut self, sym_data_seq: &mut TaintDataVec) -> Result<()> {
        log::trace!("build ADG from seq: {sym_data_seq:?}");
        loop {
            if let Some((merge_idx, subseq)) = self.find_minimal_subseq(sym_data_seq) {
                let previous = Self::get_merge_previous_data(sym_data_seq.as_slice(), merge_idx);
                let subsequent = Self::get_join_subsequent_data(sym_data_seq, merge_idx);
                self.build_from_subseq(subseq, previous, subsequent)?;
            } else {
                let seq = Vec::from_iter(sym_data_seq.iter());
                self.build_from_single_path_subseq(seq, &None, &None)?;
                break;
            }
        }
        Ok(())
    }

    /// Build the ADG from the analysis result of DFA. The input result is evaluated symbols and their taint data during DFA.
    pub fn build_from_analysis_result(&mut self, mut result: Storage<TaintDataVec>) -> Result<()> {