One Hat Cyber Team

Your IP : 216.73.216.14

Server IP : 194.44.31.54

Server : Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64

Server Software : Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k

PHP Version : 5.6.40

View File Name : ctime.stp

/* ctime.stp - Convert seconds to human readable date string.
 *
 * Copyright (C) 2012-2016 Red Hat, Inc.
 */

/* NB: functionally equivalent to linux/ctime.stp
 * This means unlike normal userspace ctime(), this version
 * returns time in UTC, without a final newline.
 */

%{
#include <string.h>
#include <time.h>
%}

function ctime:string(epochsecs:long)
%{  /* pure */
    struct tm gmt;
    char buf[26];

    const time_t t = STAP_ARG_epochsecs;

    if (gmtime_r(&t, &gmt) && asctime_r(&gmt, buf)) {
        char* newline = strchr(buf, '\n');
        if (newline)
            *newline = '\0';
        strlcpy (STAP_RETVALUE, buf, MAXSTRINGLEN);
    } else {
#if STAP_COMPAT_VERSION <= STAP_VERSION(2,2)
        strlcpy(STAP_RETVALUE, "<invalid time>", MAXSTRINGLEN);
#else
	CONTEXT->last_error = "Time cannot be converted";
#endif
    }
%}

function ctime:string()
{
  return ctime(gettimeofday_s())
}