angr/procedures/win32/sim_time.py
def instrument(self):
        """
        Override this method, setting the class vars of the same names as the windows SYSTEMTIME structure.
        By default, fills it with appropriately constrained symbolic data, but makes no attempt to make sure that the
        value can make sense semantically, e.g. feb 31 can be represented.

        ...unless the USE_SYSTEM_TIMES state option is present, in which case it will use the system time.

        https://msdn.microsoft.com/en-us/library/windows/desktop/ms724950(v=vs.85).aspx
        """
        if angr.options.USE_SYSTEM_TIMES in self.state.options:
            self.fill_from_timestamp(time.time())
        else:
            self.fill_symbolic()

        Override this method, setting the class vars of the same names as the windows SYSTEMTIME structure.
        By default, fills it with appropriately constrained symbolic data, but makes no attempt to make sure that the
        value can make sense semantically, e.g. feb 31 can be represented.

        ...unless the USE_SYSTEM_TIMES state option is present, in which case it will use the system time.

        https://msdn.microsoft.com/en-us/library/windows/desktop/ms724950(v=vs.85).aspx
        
Override this method, setting the class vars of the same names as the windows SYSTEMTIME structure.
By default, fills it with appropriately constrained symbolic data, but makes no attempt to make sure that the
value can make sense semantically, e.g. feb 31 can be represented.

unless the USE_SYSTEM_TIMES state option is present, in which case it will use the system time.


Override this method setting the class vars of the same names as the windows SYSTEMTIME structure . By default fills it with appropriately constrained symbolic data but makes no attempt to make sure that the value can make sense semantically e . g . feb 31 can be represented . unless the USE_SYSTEM_TIMES state option is present in which case it will use the system time .
def instrument(self):
        if angr.options.USE_SYSTEM_TIMES in self.state.options:
            self.fill_from_timestamp(time.time())
        else:
            self.fill_symbolic()
def instrument ( self ) : if angr . options . USE_SYSTEM_TIMES in self . state . options : self . fill_from_timestamp ( time . time ( ) ) else : self . fill_symbolic ( )
Override this method, setting the class vars of the same names as the windows SYSTEMTIME structure.
Override this method setting the class vars of the same names as the windows SYSTEMTIME structure .
"""
        Override this method, setting the class vars of the same names as the windows SYSTEMTIME structure.
        By default, fills it with appropriately constrained symbolic data, but makes no attempt to make sure that the
        value can make sense semantically, e.g. feb 31 can be represented.

        ...unless the USE_SYSTEM_TIMES state option is present, in which case it will use the system time.

        https://msdn.microsoft.com/en-us/library/windows/desktop/ms724950(v=vs.85).aspx
        """
self