kdrag.contrib.pcode.asmspec.execute_insn

kdrag.contrib.pcode.asmspec.execute_insn(tracestate: TraceState, ctx: BinaryContext, verbose=True) → list[TraceState]

Parameters:

• tracestate (TraceState)

• ctx (BinaryContext)

Return type:

list[TraceState]