← Back to roadmap
Partial

Deterministic execution

Priority 0 - Core Emulator Infrastructure / 0.1 Execution core: time, scheduling, determinism

$0 / $6,2500% funded
Fund$6,250
$0 / $6,250 - 0%
As an emulator integrator, I want vemu to finish its Deterministic execution model, so that I can depend on reproducibility, replay, fuzzing for production firmware, not just the common path.

Why it matters

Reproducibility, replay, fuzzing

Summary

Identical inputs - > identical run

Scope of work

Partially modeled. Complete the missing mechanics of Deterministic execution. What it is: Identical inputs - > identical run. Why it matters: Reproducibility, replay, fuzzing.

Current state

Status: Partially implemented. Notes / evidence: Single virtual clock; RNG/DMA not made deterministic; Cortex-M-only.

Blocked by 2

Fund these first - this work can't be completed until they ship.

  • Done
  • Done
Unblocks 1

Funding this also clears the way for the work below.

Activity log

  1. Feature defined and added to the roadmap

  2. Funding goal set to $6,250

  3. Implementation status: Partial