angr/simos/javavm.py
def init_static_field(state, field_class_name, field_name, field_type):
        """
        Initialize the static field with an allocated, but not initialized,
        object of the given type.

        :param state: State associated to the field.
        :param field_class_name: Class containing the field.
        :param field_name: Name of the field.
        :param field_type: Type of the field and the new object.
        """
        field_ref = SimSootValue_StaticFieldRef.get_ref(state, field_class_name,
                                                        field_name, field_type)
        field_val = SimSootValue_ThisRef.new_object(state, field_type)
        state.memory.store(field_ref, field_val)

        Initialize the static field with an allocated, but not initialized,
        object of the given type.

        :param state: State associated to the field.
        :param field_class_name: Class containing the field.
        :param field_name: Name of the field.
        :param field_type: Type of the field and the new object.
        
Initialize the static field with an allocated, but not initialized,
object of the given type.
Initialize the static field with an allocated but not initialized object of the given type .
def init_static_field(state, field_class_name, field_name, field_type):
        field_ref = SimSootValue_StaticFieldRef.get_ref(state, field_class_name,
                                                        field_name, field_type)
        field_val = SimSootValue_ThisRef.new_object(state, field_type)
        state.memory.store(field_ref, field_val)
def init_static_field ( state , field_class_name , field_name , field_type ) : field_ref = SimSootValue_StaticFieldRef . get_ref ( state , field_class_name , field_name , field_type ) field_val = SimSootValue_ThisRef . new_object ( state , field_type ) state . memory . store ( field_ref , field_val )
Initialize the static field with an allocated, but not initialized,
object of the given type.
Initialize the static field with an allocated but not initialized object of the given type .
"""
        Initialize the static field with an allocated, but not initialized,
        object of the given type.

        :param state: State associated to the field.
        :param field_class_name: Class containing the field.
        :param field_name: Name of the field.
        :param field_type: Type of the field and the new object.
        """
state
State associated to the field.
State associated to the field .
field_class_name
Class containing the field.
Class containing the field .
field_name
Name of the field.
Name of the field .
field_type
Type of the field and the new object.
Type of the field and the new object .