Method add_fuzzer_size_constraint

src/program/transform.rs:463–472

Add the size_t constriant for the fuzzer input.

(&mut self, size_stmt: &str)

    /// Add the size_t constriant for the fuzzer input.
    pub fn add_fuzzer_size_constraint(&mut self, size_stmt: &str) -> Result<()> {
        let visitor = self.get_new_visitor()?;
        let ins_loc = visitor.get_function_body_begin_loc()?;
        let constraint = format!(
            "\n\tif({size_stmt}<{}) return 0;\n",
            self.fuzzer_shim.get_offset()
        );
        self.seek_and_rewrite(ins_loc, 0, &constraint)?;
        Ok(())
    }

    fn write_fuzzer_vars_stmts(&mut self) -> Result<()> {
        let fuzzer_stmts = self.fuzzer_shim.serialize_fuzzer_stmts();