Method init_fuzzable_list_var

src/program/transform.rs:409–460

(
        &mut self,
        decl_name: &str,
        ty: &str,
        shape: (usize, usize),
        ins_pos: usize,
        should_cast: bool,
    )

    }

    fn init_fuzzable_list_var(
        &mut self,
        decl_name: &str,
        ty: &str,
        shape: (usize, usize),
        ins_pos: usize,
        should_cast: bool,
    ) -> Result<()> {
        let (row, col) = shape;
        //let name = vd.get_var_decl_name();
        // if is one dimensional array.
        if col == 0 {
            let mut array_init_stmts = format!("\n\t\t{decl_name} = {{");
            let mut stmts = Vec::new();
            for _i in 0..row {
                let stmt = format!("fuzz_{ty}_{}", self.fuzzer_shim.get_init_id_inc());
                stmts.push(stmt);
            }
            array_init_stmts.push_str(&stmts.join(","));
            array_init_stmts.push_str("};");
            self.fuzzer_shim
                .append_fuzzer_stmt(array_init_stmts.clone());
            self.seek_and_rewrite(ins_pos, 0, &array_init_stmts)?;
            Ok(())
        // else if two dimensional array.
        } else {
            let mut matrix_init_stmts = format!("\n\t\t{decl_name} = {{");
            let mut row_stmts = Vec::new();
            for _i in 0..row {
                let mut col_stmts = Vec::new();
                for _j in 0..col {
                    let stmt = format!("fuzz_{ty}_{}", self.fuzzer_shim.get_init_id_inc());
                    col_stmts.push(stmt)
                }
                let mut col_init = String::new();
                if ty != "char" && should_cast {
                    let cast_stmt = format!("(const {ty} *)({ty} [{col}])");
                    col_init.push_str(&cast_stmt);
                }
                col_init.push('{');
                col_init.push_str(&col_stmts.join(","));
                col_init.push('}');
                row_stmts.push(col_init);
            }
            matrix_init_stmts.push_str(&row_stmts.join(","));
            matrix_init_stmts.push_str("};");
            self.fuzzer_shim
                .append_fuzzer_stmt(matrix_init_stmts.clone());
            self.seek_and_rewrite(ins_pos, 0, &matrix_init_stmts)?;
            Ok(())
        }
    }

    /// Add the size_t constriant for the fuzzer input.
    pub fn add_fuzzer_size_constraint(&mut self, size_stmt: &str) -> Result<()> {