Method find_minimal_subseq

src/analysis/adg.rs:673–693

the minimal subseq in symbol data that begin with [Merge] token and ends with [Join] token. A merge_idx is additional returned, which is the previous one token before the [Merge] token. Return: Option<(merge_idx, subseq)>

(&self, sym_data: &mut TaintDataVec)

    /// A merge_idx is additional returned, which is the previous one token before the [Merge] token.
    /// Return: Option<(merge_idx, subseq)>
    fn find_minimal_subseq(&self, sym_data: &mut TaintDataVec) -> Option<(usize, Vec<TaintData>)> {
        let merge_idx = find_last_merge_idx(sym_data);
        let join_idx = find_first_join_idx(sym_data, merge_idx);
        if merge_idx.is_none() && join_idx.is_none() {
            return None;
        } else if merge_idx.is_none() || join_idx.is_none() {
            unreachable!("The [Merge] and [Join] in symbol data must be paired: {sym_data:?}")
        }
        let merge_idx = merge_idx.unwrap();
        let join_idx = join_idx.unwrap();
        let is_next_sep = if sym_data.len() > join_idx + 1 {
            sym_data[join_idx + 1].is_seq()
        } else {
            false
        };
        let subtree: Vec<TaintData> = sym_data.drain(merge_idx..join_idx + 1).collect();
        if is_next_sep {
            sym_data.insert(merge_idx, TaintData::new_holder());
        }
        Some((merge_idx, subtree))
    }

    /// return the previous one data before the [Merge] token.
    fn get_merge_previous_data(sym_data: &[TaintData], merge_idx: usize) -> Option<&TaintData> {