keegan0521/CinderVM

选用指南

AI 根据 README 整理 · 2026/10/22 07:52:05 · 基于较早版本，请核对最新 README

使用方式

通过命令行工具使用：使用 cinderc 汇编和运行 .cdxb 镜像，cinder 提供版本和诊断功能。也可作为 Rust 库集成。

查看 README 依据

`cindervm` models the run as bytecode on a machine built for it. The library crate (`cindervm`) holds the machine and its toolchain; three binaries drive it: | Binary | Role | | ------------ | --------------------------------------------------------------- | | `cinderc` | Assemble `.cdx` to a verified `.cdxb` image, disassemble, run. | | `cinder` | Print the version, explain a diagnostic code, run an image. | | `cinder-fuzz`| Mutation-fuzz the verifier and interpreter against each other. |

$ cinderc build triage.cdx -o triage.cdxb wrote triage.cdxb (N bytes, checksum 0x...) $ cinderc dis triage.cdxb # disassemble the sealed image $ cinderc run triage.cdxb --trace # run, tracing traps and the halt code $ cinder explain E_PENDING_ESCAPE # look up a diagnostic code ``` `cinderc build` assembles, then calls `verify::admit`, then writes the sealed `.cdxb`. `cinderc run` reads an image, constructs a `Vm` with default limits, and drives the `step` loop, answering each trap. `cinder run` delegates to `cinderc run`; `cinder explain <CODE>` prints the blurb and phase for a

部署要求

需要 Rust 工具链（版本在 rust-toolchain.toml 中固定）。

查看 README 依据

detectable. `replay::Host` (`src/replay.rs`) serves the interpreter from that journal instead of from a live host; if the interpreter asks for something the journal does not have next, that is a divergence error naming the record. <div align="center"> <img src="docs/assets/replay.svg" alt="Replay: the same interpreter reads answers from a hash-chained journal instead of a live host, and a mismatch raises a divergence error at the offending record" width="860"> </div> ## Building from source Requires Rust (pinned in `rust-toolchain.toml`). The `Makefile` is the source of