kdrag.contrib.pcode.asmspec.substitute

kdrag.contrib.pcode.asmspec.substitute(e: ExprRef, ctx: BinaryContext, memstate: MemState, ghost_env: dict[str, ExprRef]) → ExprRef

Subsititute both ghost state and context (ram / registers). Usually you want this

Parameters:

• e (ExprRef)

• ctx (BinaryContext)

• memstate (MemState)

• ghost_env (dict[str, ExprRef])

Return type:

ExprRef