Lattice-based fixed-point analysis over a graph.

Caller's VM memory pointers for an account.

Visitor called for each node during a DFS traversal.

Runtime-mutable syscall map that owns its data This allows for dynamic updates at runtime

Runtime-mutable syscall map that owns its data This allows for dynamic updates at runtime

When the engine crosses into a new function, enqueue ALL of its blocks — not just the entry block. This ensures that unreachable-within-function code

A simple RAII guard that resets an env var after the test exits

Trait for resolving `.include` file paths to their contents. Abstracted as a trait so tests can use an in-memory mock.

Result of scanning lines for macro definitions