sevm
Version:
A Symbolic Ethereum Virtual Machine (EVM) bytecode decompiler & analyzer library & CLI
16 lines (15 loc) • 462 B
TypeScript
import { Tag, type Expr, type IInst } from '.';
export declare class MLoad extends Tag {
readonly location: Expr;
readonly value?: Expr | undefined;
readonly tag = "MLoad";
constructor(location: Expr, value?: Expr | undefined);
eval(): Expr;
}
export declare class MStore implements IInst {
readonly location: Expr;
readonly data: Expr;
readonly name = "MStore";
constructor(location: Expr, data: Expr);
eval(): MStore;
}