Method is_program_coverage_correct

src/execution/sanitize.rs:102–138

(&self, program_path: &Path)

    }

    pub fn is_program_coverage_correct(&self, program_path: &Path) -> Result<Option<ProgramError>> {
        log::trace!("test program is coverage correct: {program_path:?}");
        let work_dir = get_file_dirname(program_path);
        let time_logger = TimeUsage::new(work_dir.clone());

        // compile fuzzer with coverage instrumented library.
        let fuzzer_binary = program_path.with_extension("cov.out");
        self.compile(vec![program_path], &fuzzer_binary, super::Compile::COVERAGE)?;

        // Run the fuzzer on the previous synthesized corpus and collect coverage.
        let corpus_dir: PathBuf = [work_dir.clone(), "corpus".into()].iter().collect();
        let coverage = self.collect_code_coverage(
            Some(program_path),
            &fuzzer_binary,
            vec![&corpus_dir, &self.deopt.get_library_shared_corpus_dir()?],
        )?;

        // Sanitize the fuzzer by its reached lines
        let has_err = if get_config().disable_coverage_check {
            log::warn!("Skip coverage sanitization since the config disable_coverage_check is set to true.");
            false
        } else {
            sanitize_by_fuzzer_coverage(program_path, &self.deopt, &coverage)?
        };
        time_logger.log("coverage")?;
        self.evolve_corpus(program_path)?;
        // remove the profraw dir to avoid the huge disk cost.
        if let Err(e) = std::fs::remove_dir_all(&corpus_dir) {
            log::warn!("Failed to remove corpus dir {:?}: {}", corpus_dir, e);
        }

        if !has_err {
            return Ok(None);
        }
        let err_msg = dump_fuzzer_coverage(&fuzzer_binary)?;
        Ok(Some(ProgramError::Coverage(format!("The program cannot cover the callees along the path that contains maximum callees.\n{err_msg}"))))
    }

    pub fn check_program_is_correct(&self, seed_path: &Path) -> Result<Option<ProgramError>> {
        if let Some(err) = self.is_program_syntax_correct(seed_path)? {