Method is_program_execute_correct

src/execution/sanitize.rs:58–77

linked with AddressSanitizer, execute it to check whether code is correct.

(&self, program_path: &Path)

    /// linked with AddressSanitizer, execute it to check whether code is correct.
    fn is_program_execute_correct(&self, program_path: &Path) -> Result<Option<ProgramError>> {
        let time_logger = TimeUsage::new(get_file_dirname(program_path));
        let mut transformer = Transformer::new(program_path, &self.deopt)?;
        transformer.add_fd_sanitizer()?;
        transformer.preprocess()?;

        let mut binary_out = PathBuf::from(program_path);
        binary_out.set_extension("out");

        self.deopt
            .copy_library_init_file(&get_file_dirname(program_path))?;

        self.compile(vec![program_path], &binary_out, super::Compile::FUZZER)?;

        // Execute the program on each corpus file and check error.
        let corpus = self.deopt.get_library_shared_corpus_dir()?;
        let has_err = self.execute_pool(&binary_out, &corpus);
        time_logger.log("execute")?;
        Ok(has_err)
    }

    /// linked with LibFuzzer and AddressSanitizer, to check whether code is correct.
    pub fn is_program_fuzz_correct(&self, program_path: &Path) -> Result<Option<ProgramError>> {