Method is_program_link_correct

src/execution/sanitize.rs:41–55

check whether the program is correct in compilation and linkage.

(&self, program_path: &Path)

    /// check whether the program is correct in compilation and linkage.
    fn is_program_link_correct(&self, program_path: &Path) -> Result<Option<ProgramError>> {
        let time_logger = TimeUsage::new(get_file_dirname(program_path));
        remove_duplicate_definition(program_path)?;
        let mut binary_out = PathBuf::from(program_path);
        binary_out.set_extension("out");

        let res = self.compile(vec![program_path], &binary_out, super::Compile::FUZZER);
        time_logger.log("link")?;

        if let Err(err) = res {
            let err_msg = err.to_string();
            return Ok(Some(ProgramError::Link(err_msg)));
        }
        Ok(None)
    }

    /// linked with AddressSanitizer, execute it to check whether code is correct.
    fn is_program_execute_correct(&self, program_path: &Path) -> Result<Option<ProgramError>> {