kdrag.contrib.pcode.asmspec.run_all_paths

kdrag.contrib.pcode.asmspec.run_all_paths(ctx: BinaryContext, spec: AsmSpec, mem=None, verbose=True) → list[VerificationCondition]

Parameters:

• ctx (BinaryContext)

• spec (AsmSpec)

Return type:

list[VerificationCondition]