Module Import alias Import alias ImportFrom alias If CompareEq NameLoad Str body TryExcept body Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr Str Assign NameStore Call NameLoad NameLoad handlers ExceptHandler type NameLoad name NameStore body Print NameLoad Print BinOpMod Str NameLoad Expr Call AttributeLoad NameLoad attr Num Print Str For TupleStore NameStore NameStore NameStore Call AttributeLoad NameLoad attr body Print Call AttributeLoad Str attr NameLoad NameLoad For NameStore NameLoad body Print Call AttributeLoad Str attr Str NameLoad TryExcept body Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad For NameStore NameLoad body Print Call AttributeLoad Str attr Str NameLoad handlers ExceptHandler body Pass
N/A N/A os N/A sys barf.barf BARF N/A N/A __name__ __main__ N/A N/A N/A N/A filename N/A N/A N/A os path abspath ../../samples/toy/arm/branch4 N/A barf N/A BARF filename N/A N/A N/A Exception N/A err N/A N/A err N/A N/A [-] Error opening file : %s filename N/A N/A N/A sys exit 1 N/A [+] Translating: x86 -> REIL -> SMT... N/A N/A addr asm_instr reil_instrs N/A N/A barf translate N/A N/A N/A N/A 0x{0:08x} : {1} format addr asm_instr N/A reil_instr reil_instrs N/A N/A N/A N/A {0:14}{1} format reil_instr N/A N/A N/A smt_exprs N/A N/A N/A barf smt_translator translate reil_instr N/A smt_expr smt_exprs N/A N/A N/A N/A {0:16}{1} format smt_expr N/A N/A N/A N/A