kdrag.contrib.pcode.asmspec.assemble_and_gen_vcs

kdrag.contrib.pcode.asmspec.assemble_and_gen_vcs(filename: str, langid='x86:LE:64:default', as_bin='as', max_insns=None) → tuple[BinaryContext, list[VerificationCondition]]

Parameters:

filename (str)

Return type:

tuple[BinaryContext, list[VerificationCondition]]