macroonz-harness 0.2.0

Safe-Rust property, fuzz, fault, schedule, mutation, network, and benchmark testing with typed evidence, reduction, and replay.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

//! Pure Macroonz composition over coverage-admitted bytes.

use super::{ComposeRefusal, InterestingBytes};
use crate::generate::{ProbeOutcome, ReductionPlan, ReductionProbeBinding, capture_replay, reduce};
use crate::report::ReplayCapsule;

/// Reduce interesting bytes under a Macroonz probe binding and mint a replay capsule.
///
/// # Errors
///
/// Returns [`ComposeRefusal`] when reduction refuses the seed or replay does not preserve the fingerprint.
pub fn compose_reduce_replay(
    interesting: &InterestingBytes,
    plan: &ReductionPlan,
    binding: &ReductionProbeBinding,
) -> Result<ReplayCapsule, ComposeRefusal> {
    let evidence =
        reduce(plan, interesting.as_bytes(), binding).map_err(ComposeRefusal::Reduction)?;
    let capsule = capture_replay(&evidence);
    match (binding.probe())(capsule.input()) {
        ProbeOutcome::Reproduced(fp) if fp == capsule.fingerprint() => Ok(capsule),
        ProbeOutcome::Reproduced(_) => Err(ComposeRefusal::ReplayFingerprintMoved),
        ProbeOutcome::NoFailure => Err(ComposeRefusal::ReplayNoFailure),
    }
}