Method recheck_seed

src/execution/sanitize.rs:284–309

After the first half of converge, performs sanitization on the seeds again. It aims to: Sanitize the erroneous programs that were ignored due to no suitable fuzzing corpus to trigger the error.

(&mut self, deopt: &mut Deopt)

    /// After the first half of converge, performs sanitization on the seeds again. It aims to:
    /// Sanitize the erroneous programs that were ignored due to no suitable fuzzing corpus to trigger the error.
    pub fn recheck_seed(&mut self, deopt: &mut Deopt) -> Result<()> {
        log::info!("Recheck the saved seeds and remove the error programs within them.");
        let succ_seed_dir = self.deopt.get_library_succ_seed_dir()?;
        let succ_seeds = crate::deopt::utils::read_sort_dir(&succ_seed_dir)?;
        for succ_seed in &succ_seeds {
            let seed_program = Program::load_from_path(succ_seed)?;
            let seed_id = seed_program.id;
            self.compile_seed(seed_id)?;
            // recheck the program
            let corpus = self.deopt.get_library_shared_corpus_dir()?;
            let work_seed_path = self.deopt.get_work_seed_by_id(seed_id)?;
            let binary_out = work_seed_path.with_extension("out");
            let has_err = self.execute_pool(&binary_out, &corpus);
            if let Some(err_msg) = has_err {
                log::warn!("seed: {} is rechecked as Error!", seed_id);
                let seed = self.deopt.get_seed_path_by_id(seed_id)?;
                self.deopt.save_err_program(&seed_program, &err_msg)?;
                std::fs::remove_file(succ_seed)?;
                if seed.exists() {
                    std::fs::remove_file(seed)?;
                    deopt.delete_seed_from_queue(&seed_program);
                }
            }
        }
        Ok(())
    }
}

pub mod utils {