iLold
iLold is an execution analyzer and security workbench for smart contracts. Separate SVM and EVM engines connect program structure, runtime state, scenarios, and findings.
Dedicated SVM and EVM engines
Deterministic scenario forks
Live investigation canvas
AGPL-3.0 licensed
The release or operating risk.
Auditors must compare source structure, reachable paths, execution, state, and attack hypotheses. Separate tools make this evidence difficult to preserve between investigation sessions.
The technical approach.
iLold combines typed program models, deterministic scenarios, a REPL, a web canvas, state inspection, timeline forks, and finding capture. An MCP interface supports controlled agent assistance.
The available evidence.
The SVM workbench operates Anchor programs on LiteSVM and provides 30 typed MCP tools. The EVM workbench models Solidity control flow, dependencies, call graphs, and data slices. Both preserve the evidence from an investigation.
Stack and evidence
- Rust
- LiteSVM
- Solidity
- Svelte
- MCP