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 Assign NameStore Num Assign NameStore Num Print Str For TupleStore NameStore NameStore NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad body Print Call AttributeLoad Str attr NameLoad NameLoad For NameStore NameLoad body Print Call AttributeLoad Str attr Str NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Print Str Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr Str keyword Str Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr Str keyword Str Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr BinOpSub NameLoad Num Num Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr BinOpSub NameLoad Num Num Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr BinOpSub NameLoad Num Num Expr Call AttributeLoad AttributeLoad NameLoad attr attr ListLoad CompareGtE NameLoad Num CompareLtE NameLoad Num Expr Call AttributeLoad AttributeLoad NameLoad attr attr ListLoad CompareGtE NameLoad Num CompareLtE NameLoad Num Expr Call AttributeLoad AttributeLoad NameLoad attr attr CompareEq NameLoad Num Print Str If CompareEq Call AttributeLoad AttributeLoad NameLoad attr attr Str body Print Str Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Print Call AttributeLoad Str attr NameLoad Print Call AttributeLoad Str attr NameLoad Print Call AttributeLoad Str attr NameLoad Print Call AttributeLoad Str attr NameLoad Assert CompareEq BinOpAdd BinOpMult NameLoad NameLoad Num NameLoad orelse Print Str
N/A N/A os N/A sys 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/x86/constraint2 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 start_addr 134513645 N/A end_addr 134513666 N/A [+] Adding instructions to the analyzer... N/A N/A addr asm_instr reil_instrs N/A N/A barf translate start_addr end_addr 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 N/A barf code_analyzer add_instruction reil_instr N/A [+] Adding pre and post conditions to the analyzer... N/A eax N/A N/A N/A barf code_analyzer get_register_expr eax mode post N/A ebp N/A N/A N/A barf code_analyzer get_register_expr ebp mode post N/A a N/A N/A N/A barf code_analyzer get_memory_expr N/A ebp 8 4 N/A b N/A N/A N/A barf code_analyzer get_memory_expr N/A ebp 12 4 N/A c N/A N/A N/A barf code_analyzer get_memory_expr N/A ebp 4 4 N/A N/A N/A N/A barf code_analyzer set_preconditions N/A N/A a 2 N/A a 100 N/A N/A N/A N/A barf code_analyzer set_preconditions N/A N/A b 2 N/A b 100 N/A N/A N/A N/A barf code_analyzer set_postcondition N/A c 15 N/A [+] Check for satisfiability... N/A N/A N/A N/A N/A barf code_analyzer check sat N/A N/A     SAT! :: Possible assigments :  N/A eax_val N/A N/A N/A barf code_analyzer get_expr_value eax N/A a_val N/A N/A N/A barf code_analyzer get_expr_value a N/A b_val N/A N/A N/A barf code_analyzer get_expr_value b N/A c_val N/A N/A N/A barf code_analyzer get_expr_value c N/A N/A N/A     eax : 0x{0:08x} ({0}) format eax_val N/A N/A N/A       a : 0x{0:08x} ({0}) format a_val N/A N/A N/A       b : 0x{0:08x} ({0}) format b_val N/A N/A N/A       c : 0x{0:08x} ({0}) format c_val N/A N/A N/A N/A a_val b_val 5 c_val N/A N/A     UNSAT!