Module ImportFrom alias Import alias alias ClassDef bases NameLoad body Expr Str FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam NameParam defaults NameLoad NameLoad NameLoad NameLoad body Expr Str If BoolOpAnd CompareIsNot NameLoad NameLoad UnaryOpNot Call NameLoad NameLoad AttributeLoad AttributeLoad NameLoad attr attr body Raise Call NameLoad Str Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr Str decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str Assign AttributeStore NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults vararg body Return SubscriptLoad Call AttributeLoad NameLoad attr NameLoad Index Num decorator_list Assign NameStore NameLoad FunctionDef arguments args NameParam defaults vararg body Return SubscriptLoad Call AttributeLoad NameLoad attr NameLoad Index Num decorator_list FunctionDef arguments args NameParam defaults vararg body Assign NameStore Call SubscriptLoad AttributeLoad NameLoad attr Index AttributeLoad AttributeLoad AttributeLoad NameLoad attr attr attr AttributeLoad AttributeLoad NameLoad attr attr If CompareIsNot AttributeLoad NameLoad attr NameLoad body Assign NameStore Call NameLoad AttributeLoad AttributeLoad NameLoad attr attr If CompareNotEq Call NameLoad NameLoad NameLoad body Raise Call NameLoad Call AttributeLoad Str attr AttributeLoad NameLoad attr NameLoad IfExp CompareEq NameLoad Num Str Str Call NameLoad NameLoad Assign NameStore IfExp CompareIsNot AttributeLoad NameLoad attr NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad AttributeLoad AttributeLoad NameLoad attr attr attr If BoolOpAnd CompareEq AttributeLoad AttributeLoad NameLoad attr attr Str CompareIsNot AttributeLoad NameLoad attr NameLoad body Assign AttributeStore AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr If CompareIsNot AttributeLoad NameLoad attr NameLoad body Assign NameStore ListComp Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad comprehension TupleStore NameStore NameStore Call NameLoad NameLoad AttributeLoad AttributeLoad NameLoad attr attr orelse Assign NameStore ListComp Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad comprehension NameStore NameLoad FunctionDef arguments args NameParam defaults body Assign NameStore Call AttributeLoad NameLoad attr If CompareGt Call NameLoad AttributeLoad NameLoad attr Num body Raise Call NameLoad Str Return NameLoad decorator_list Assign NameStore Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad keyword Call AttributeLoad AttributeLoad AttributeLoad NameLoad attr attr attr NameLoad Assign NameStore Call AttributeLoad Call AttributeLoad NameLoad attr keyword Lambda arguments args NameParam defaults CompareEq Call NameLoad AttributeLoad NameLoad attr Num keyword IfExp AttributeLoad NameLoad attr NameLoad NameLoad attr keyword Str Assign NameStore Call AttributeLoad NameLoad attr keyword Lambda arguments args NameParam defaults CompareEq AttributeLoad NameLoad attr AttributeLoad NameLoad attr If CompareEq Call NameLoad AttributeLoad NameLoad attr Num body Raise Call NameLoad Str Assign NameStore Call AttributeLoad NameLoad attr Assign NameStore AttributeLoad SubscriptLoad AttributeLoad NameLoad attr Index Num attr Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad NameLoad attr NameLoad Return TupleLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam defaults body Assign NameStore CompareIsNot NameLoad NameLoad If Call NameLoad NameLoad AttributeLoad NameLoad attr body If BoolOpAnd NameLoad UnaryOpNot Call NameLoad NameLoad AttributeLoad AttributeLoad NameLoad attr attr body Raise Call NameLoad Call AttributeLoad Str attr NameLoad Assign NameStore Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr IfExp NameLoad AttributeLoad NameLoad attr NameLoad NameLoad Return Call AttributeLoad NameLoad attr NameLoad NameLoad orelse If Call NameLoad NameLoad NameLoad body If BoolOpAnd NameLoad BoolOpOr UnaryOpNot Call NameLoad NameLoad AttributeLoad AttributeLoad NameLoad attr attr UnaryOpNot Call NameLoad AttributeLoad NameLoad attr AttributeLoad AttributeLoad NameLoad attr attr body Raise Call NameLoad Call AttributeLoad Str attr NameLoad Return Call AttributeLoad NameLoad attr Call NameLoad NameLoad BinOpAdd NameLoad Str Call AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad orelse If Call NameLoad NameLoad NameLoad body If BoolOpAnd NameLoad UnaryOpNot Call NameLoad NameLoad AttributeLoad AttributeLoad NameLoad attr attr body Raise Call NameLoad Call AttributeLoad Str attr NameLoad Assign NameStore Call NameLoad NameLoad NameLoad If CompareNotEq SubscriptLoad NameLoad Slice Num SubscriptLoad NameLoad Slice Num body Raise Call NameLoad Str Assign NameStore ListComp Call AttributeLoad NameLoad attr NameLoad IfExp NameLoad AttributeLoad NameLoad attr NameLoad NameLoad comprehension NameStore NameLoad For NameStore Call NameLoad NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad Return NameLoad orelse If Call NameLoad NameLoad TupleLoad NameLoad NameLoad body Return Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad IfExp NameLoad AttributeLoad NameLoad attr AttributeLoad AttributeLoad NameLoad attr attr orelse If Call NameLoad NameLoad AttributeLoad AttributeLoad NameLoad attr attr body Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign NameStore BinOpSub AttributeLoad AttributeLoad NameLoad attr attr BinOpDiv Call AttributeLoad NameLoad attr Num Assign AttributeStore AttributeLoad NameLoad attr attr NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad NameLoad keyword AttributeLoad AttributeLoad NameLoad attr attr Return NameLoad decorator_list NameLoad ClassDef bases NameLoad body FunctionDef arguments args NameParam NameParam defaults body Assign AttributeStore NameLoad attr NameLoad decorator_list decorator_list decorator_list ClassDef bases NameLoad body Expr Str FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam NameParam defaults TupleLoad NameLoad NameLoad NameLoad kwarg body Expr Str Assign AttributeStore NameLoad attr AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr Call SubscriptLoad AttributeLoad NameLoad attr Index AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr NameLoad Assign NameStore ListLoad If CompareIs NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad AttributeLoad NameLoad attr attr keyword NameLoad orelse If Call NameLoad NameLoad TupleLoad NameLoad NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad orelse Expr Call AttributeLoad NameLoad attr NameLoad Assign AttributeStore NameLoad attr ListComp IfExp CompareIs NameLoad NameLoad Call AttributeLoad AttributeLoad AttributeLoad SubscriptLoad NameLoad Index Num attr attr attr BinOpMod Str NameLoad AttributeLoad AttributeLoad NameLoad attr attr NameLoad comprehension TupleStore NameStore NameStore Call NameLoad NameLoad Assign AttributeStore NameLoad attr Call AttributeLoad AttributeLoad AttributeLoad SubscriptLoad NameLoad Index Num attr attr attr AttributeLoad NameLoad attr AttributeLoad AttributeLoad NameLoad attr attr For NameStore NameLoad body Assign AttributeStore AttributeLoad NameLoad attr attr NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr Expr Call AttributeLoad Call NameLoad NameLoad NameLoad attr NameLoad keyword AttributeLoad NameLoad attr keyword NameLoad keyword NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body If UnaryOpNot AttributeLoad NameLoad attr body Return If CompareGt Call NameLoad AttributeLoad NameLoad attr Num body Assign NameStore AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr ListLoad For NameStore NameLoad body If Call AttributeLoad AttributeLoad NameLoad attr attr body Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad orelse Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad If CompareGt Call NameLoad AttributeLoad NameLoad attr Num body Raise Call NameLoad Str decorator_list FunctionDef arguments args NameParam NameParam defaults vararg kwarg body Expr Str Assign NameStore Call AttributeLoad NameLoad attr Str NameLoad Assign NameStore Call AttributeLoad NameLoad attr Str NameLoad Assign NameStore Call AttributeLoad NameLoad attr Str TupleLoad Assign NameStore Call AttributeLoad NameLoad attr Str NameLoad For TupleStore NameStore NameStore Call AttributeLoad NameLoad attr keyword NameLoad keyword NameLoad body Assign NameStore Call Call NameLoad AttributeLoad AttributeLoad NameLoad attr attr NameLoad keyword BinOpAdd NameLoad TupleLoad CompareEq NameLoad NameLoad NameLoad NameLoad Expr Yield TupleLoad NameLoad IfExp NameLoad Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam defaults NameLoad NameLoad body Expr Str For TupleStore NameStore NameStore Call AttributeLoad NameLoad attr keyword NameLoad keyword NameLoad body Expr Yield Call NameLoad NameLoad AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults NameLoad NameLoad body Expr Str For NameStore Call AttributeLoad NameLoad attr keyword NameLoad body Assign NameStore Call AttributeLoad AttributeLoad AttributeLoad NameLoad attr attr attr Call AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr If BoolOpAnd CompareIsNot NameLoad NameLoad UnaryOpNot Call AttributeLoad AttributeLoad AttributeLoad NameLoad attr attr attr NameLoad NameLoad body Continue Expr Yield TupleLoad NameLoad NameLoad decorator_list Assign NameStore NameLoad decorator_list ImportFrom alias ImportFrom alias alias ImportFrom alias Assign SubscriptStore NameLoad Index Str NameLoad
N/A explorer Explorer N/A simuvex claripy Callable N/A object N/A N/A 
    Callable is a representation of a function in the binary that can be
    interacted with like a native python function.
     __init__ N/A N/A self project addr concrete_only prototype base_state toc N/A False None None None N/A N/A 
        :param project:         The project to operate on
        :param addr:            The address of the function to use

        The following parameters are optional:

        :param concrete_only:   Throw an exception if the execution splits into multiple paths
        :param prototype:       A SimTypeFunction instance describing the functions args and return type
        :param base_state:      The state from which to do these runs
        :param toc:             The address of the table of contents for ppc64
         N/A N/A N/A prototype None N/A N/A isinstance prototype N/A N/A simuvex s_type SimTypeFunction N/A N/A N/A ValueError Prototype must be a function! N/A N/A self _project project N/A N/A self _ty prototype N/A N/A self _addr addr N/A N/A self _concrete_only concrete_only N/A N/A self _base_state base_state N/A N/A self _toc toc N/A N/A self _caller None N/A N/A self _deadend_addr N/A N/A N/A project _extern_obj get_pseudo_addr FAKE_RETURN_ADDR N/A set_base_state N/A N/A self state N/A N/A N/A 
        Swap out the state you'd like to use to perform the call
        :param state: The state to use to perform the call
         N/A N/A self _base_state state N/A call_get_return_val N/A N/A self N/A args N/A N/A N/A N/A N/A self get_call_results args N/A 0 N/A N/A __call__ call_get_return_val call_get_res_state N/A N/A self N/A args N/A N/A N/A N/A N/A self get_call_results args N/A 1 N/A get_call_results N/A N/A self N/A args N/A N/A cc N/A N/A N/A simuvex DefaultCC N/A N/A N/A N/A self _project arch name N/A N/A self _project arch N/A N/A N/A self _ty None N/A N/A wantlen N/A len N/A N/A self _ty args N/A N/A N/A len args wantlen N/A N/A N/A TypeError N/A N/A The function at {:#x} takes exactly {} argument{} ({} given) format N/A self _addr wantlen N/A N/A wantlen 1 s N/A len args N/A state N/A N/A N/A self _base_state None N/A N/A N/A self _base_state copy N/A N/A N/A N/A self _project factory blank_state N/A N/A N/A N/A N/A state arch name PPC64 N/A N/A self _toc None N/A N/A N/A N/A state regs r2 N/A self _toc N/A N/A N/A self _ty None N/A N/A pointed_args N/A N/A N/A self _standardize_value arg ty state N/A N/A arg ty N/A zip args N/A N/A self _ty args N/A N/A pointed_args N/A N/A N/A self _standardize_value arg None state N/A arg args step_func N/A N/A pg N/A N/A N/A pg2 N/A N/A pg prune N/A N/A N/A len N/A pg2 active 1 N/A N/A N/A AngrCallableMultistateError Execution split on symbolic condition! N/A pg2 N/A N/A caller N/A N/A PathGroup call N/A self _project N/A self _addr pointed_args start N/A N/A N/A N/A self _project factory path state N/A caller_end_unpruned N/A N/A N/A N/A caller step until N/A N/A N/A pg N/A N/A N/A len N/A pg active 0 step_func N/A N/A self _concrete_only step_func None unstash from_stash deadended N/A caller_end_unmerged N/A N/A caller_end_unpruned prune filter_func N/A N/A N/A pt N/A N/A N/A pt addr N/A self _deadend_addr N/A N/A N/A len N/A caller_end_unmerged active 0 N/A N/A N/A AngrCallableError No paths returned from function N/A caller_end N/A N/A caller_end_unmerged merge N/A out_state N/A N/A N/A caller_end active N/A 0 state N/A out_val N/A N/A N/A out_state se simplify N/A N/A cc get_return_expr out_state N/A N/A out_val out_state N/A _standardize_value N/A N/A self arg ty state N/A N/A N/A check N/A ty None N/A N/A isinstance arg N/A Callable PointerWrapper N/A N/A N/A check N/A N/A isinstance ty N/A N/A simuvex s_type SimTypePointer N/A N/A N/A TypeError N/A N/A Type mismatch: expected {}, got pointer-wrapper format ty N/A real_value N/A N/A self _standardize_value N/A arg value N/A check N/A ty pts_to None state N/A N/A N/A self _push_value real_value state N/A N/A N/A isinstance arg str N/A N/A N/A check N/A N/A N/A isinstance ty N/A N/A simuvex s_type SimTypePointer N/A N/A isinstance N/A ty pts_to N/A N/A simuvex s_type SimTypeChar N/A N/A N/A TypeError N/A N/A Type mismatch: Expected {}, got char* format ty N/A N/A N/A self _standardize_value N/A map ord N/A arg N/A N/A N/A simuvex s_type SimTypePointer N/A state arch N/A N/A N/A simuvex s_type SimTypeChar state N/A N/A N/A isinstance arg list N/A N/A N/A check N/A N/A isinstance ty N/A N/A simuvex s_type SimTypePointer N/A N/A N/A TypeError N/A N/A Type mismatch: expected {}, got list format ty N/A types N/A map type arg N/A N/A N/A types N/A 1 N/A types N/A -1 N/A N/A N/A TypeError All elements of list must be of same type N/A pointed_args N/A N/A N/A self _standardize_value sarg N/A check N/A ty pts_to None state N/A sarg arg N/A sarg N/A reversed pointed_args N/A N/A out N/A N/A self _push_value sarg state N/A out N/A N/A N/A isinstance arg N/A int long N/A N/A N/A N/A N/A state se BVV arg N/A check N/A ty size N/A N/A state arch bits N/A N/A N/A isinstance arg N/A N/A claripy ast Base N/A N/A arg N/A _push_value N/A N/A val state N/A N/A N/A sp N/A N/A N/A state regs sp N/A N/A N/A val size 8 N/A N/A N/A state regs sp sp N/A N/A N/A N/A state memory store sp val endness N/A N/A state arch memory_endness N/A sp N/A staticmethod PointerWrapper N/A object N/A __init__ N/A N/A self value N/A N/A N/A N/A self value value N/A N/A N/A Caller N/A Explorer N/A N/A 
    Caller is a surveyor that executes functions to see what they do.
     __init__ N/A N/A self project addr args start num_find concrete_only N/A N/A None None False kwargs N/A N/A 
        :param project:         the project
        :param addr:            the address to start calling at
        :param args:            a tuple of arguments. Any members that are None will be replaced with symbolic expressions with a
                                length of the architecture's bitwidth.
        :param start:           a path (or set of paths) to start from
        :param num_find:        find at least this many returns from the function
        :param concrete_only:   Throw an exception if the execution splits into multiple paths
         N/A N/A self _fake_return_addr N/A project entry N/A N/A self _cc N/A N/A N/A simuvex DefaultCC N/A N/A N/A project arch name N/A project arch N/A N/A self _concrete_only concrete_only N/A start_paths N/A N/A N/A start None N/A N/A N/A N/A start_paths append N/A N/A N/A project factory path N/A N/A N/A project factory blank_state addr addr N/A N/A N/A isinstance start N/A tuple list set N/A N/A N/A N/A start_paths extend start N/A N/A N/A N/A start_paths append start N/A N/A self symbolic_args N/A N/A N/A arg None N/A N/A N/A N/A N/A start_paths N/A 0 state se Unconstrained N/A arg%d i N/A N/A project arch bits arg N/A N/A i arg N/A enumerate args N/A N/A self _ret_addr N/A N/A N/A N/A N/A start_paths N/A 0 state se BVV N/A self _fake_return_addr N/A N/A project arch bits N/A p start_paths N/A N/A N/A N/A p state ip addr N/A N/A N/A N/A self _cc setup_callsite N/A p state N/A self _ret_addr N/A self symbolic_args N/A N/A N/A N/A super Caller self __init__ project find N/A self _fake_return_addr start start_paths num_find num_find kwargs N/A post_tick N/A N/A self N/A N/A N/A N/A N/A self _concrete_only N/A N/A N/A N/A N/A len N/A self active 1 N/A N/A toomany N/A self active N/A N/A self active N/A N/A path toomany N/A N/A N/A N/A N/A path state satisfiable N/A N/A N/A N/A N/A self active append path N/A N/A N/A N/A N/A self errored append path N/A N/A N/A len N/A self active 1 N/A N/A N/A AngrCallableMultistateError Execution produced multiple successors N/A map_se N/A N/A self func N/A args kwargs N/A N/A 
        Maps the state.se."func" function for all the return address states. This is a generator.

        :param func: the function name, used as getattr(p.state.se, func). Normally any_n_int or any_n_str
        :param runs: the maximum number of runs to execute
        :param solutions: check only returns with this value as a possible solution
        :param sort: sort the result before yielding it

        Other *args and **kwargs are passed to the called state.se.* function.

        yields (r, func_return) for each state.
         N/A runs N/A N/A kwargs pop runs None N/A solution N/A N/A kwargs pop solution None N/A extra_constraints N/A N/A kwargs pop extra_constraints N/A N/A sort N/A N/A kwargs pop sort True N/A N/A r p N/A N/A self iter_returns runs runs solution solution N/A N/A v N/A N/A getattr N/A N/A p state se func extra_constraints N/A extra_constraints N/A N/A r solution args kwargs N/A N/A N/A r N/A sort N/A sorted v v N/A map_func N/A N/A self func runs solution N/A None None N/A N/A 
        Calls func(return_value, args_tuple, path) for each function return. This is a generator.

        :param func: the function to call
        :param runs: the maximum number of runs to execute
        :param solutions: check only returns with this value as a possible solution

        yields the return values of func
         N/A N/A r p N/A N/A self iter_returns runs runs solution solution N/A N/A N/A N/A func r N/A self symbolic_args p N/A iter_returns N/A N/A self runs solution N/A None None N/A N/A 
        Yields (return_value, path) for every return. This is a generator.

        :param runs: the maximum number of runs to execute
        :param solutions: check only returns with this value as a possible solution
         N/A p N/A N/A self iter_found runs runs N/A N/A r N/A N/A N/A N/A p state se simplify N/A N/A N/A self _cc get_return_expr N/A p state N/A N/A N/A solution None N/A N/A N/A N/A N/A p state se solution r solution N/A N/A N/A N/A N/A r p N/A N/A __iter__ iter_returns N/A path_group PathGroup errors AngrCallableError AngrCallableMultistateError N/A all_surveyors N/A N/A all_surveyors N/A Caller Caller