Method build_from_subseq

src/analysis/adg.rs:786–798

build the graph with subseq. Subseq is strated with [Merge] and ended with [Join], where data of control flows are separated by [Sep].

(
        &mut self,
        subseq: TaintDataVec,
        previous_data: Option<&TaintData>,
        subsequent_data: Option<&TaintData>,
    )

    /// build the graph with subseq. Subseq is strated with [Merge] and ended with [Join], where data of control flows are separated by [Sep].
    fn build_from_subseq(
        &mut self,
        subseq: TaintDataVec,
        previous_data: Option<&TaintData>,
        subsequent_data: Option<&TaintData>,
    ) -> Result<()> {
        log::trace!("build ADG from subseq: {subseq:?}, previous: {previous_data:?}, subsequent: {subsequent_data:?}");
        let path_subseqs = Self::split_subseq_by_sep(&subseq);
        for path_subseq in path_subseqs {
            self.build_from_single_path_subseq(path_subseq, &previous_data, &subsequent_data)?;
        }
        Ok(())
    }

    /// build the graph with a sequence of taint data.
    fn build_from_seq(&mut self, sym_data_seq: &mut TaintDataVec) -> Result<()> {