angr/simos/javavm.py
def generate_symbolic_cmd_line_arg(state, max_length=1000):
        """
        Generates a new symbolic cmd line argument string.
        :return: The string reference.
        """
        str_ref = SimSootValue_StringRef(state.memory.get_new_uuid())
        str_sym = StringS("cmd_line_arg", max_length)
        state.solver.add(str_sym != StringV(""))
        state.memory.store(str_ref, str_sym)
        return str_ref

        Generates a new symbolic cmd line argument string.
        :return: The string reference.
        
Generates a new symbolic cmd line argument string.
Generates a new symbolic cmd line argument string .
def generate_symbolic_cmd_line_arg(state, max_length=1000):
        str_ref = SimSootValue_StringRef(state.memory.get_new_uuid())
        str_sym = StringS("cmd_line_arg", max_length)
        state.solver.add(str_sym != StringV(""))
        state.memory.store(str_ref, str_sym)
        return str_ref
def generate_symbolic_cmd_line_arg ( state , max_length = 1000 ) : str_ref = SimSootValue_StringRef ( state . memory . get_new_uuid ( ) ) str_sym = StringS ( "cmd_line_arg" , max_length ) state . solver . add ( str_sym != StringV ( "" ) ) state . memory . store ( str_ref , str_sym ) return str_ref
Generates a new symbolic cmd line argument string.
Generates a new symbolic cmd line argument string .
"""
        Generates a new symbolic cmd line argument string.
        :return: The string reference.
        """
The string reference.
The string reference .
state
max_length