Gecko [ www.foryou-vip.com ]

Name	Size	Permission	Date
ACKS	29.19 KB	-rw-r--r--	2024-03-19 22:46
HISTORY	1.29 MB	-rw-r--r--	2024-03-19 22:46
NEWS	1.22 MB	-rw-r--r--	2024-03-19 22:46
Porting	63 B	-rw-r--r--	2024-03-19 22:46
README	1.44 KB	-rw-r--r--	2024-03-19 22:46
README.AIX	4.61 KB	-rw-r--r--	2024-03-19 22:46
README.coverity	845 B	-rw-r--r--	2024-03-19 22:46
README.valgrind	4.67 KB	-rw-r--r--	2024-03-19 22:46
SpecialBuilds.txt	4.02 KB	-rw-r--r--	2024-03-19 22:46
coverity_model.c	3.95 KB	-rw-r--r--	2024-03-19 22:46
gdbinit	4.85 KB	-rw-r--r--	2024-03-19 22:46
indent.pro	557 B	-rw-r--r--	2024-03-19 22:46
python-config.in	1.98 KB	-rw-r--r--	2024-03-19 22:46
python-config.sh	3.02 KB	-rw-r--r--	2025-06-04 09:17
python-config.sh.in	2.87 KB	-rw-r--r--	2024-03-19 22:46
python-embed.pc	316 B	-rw-r--r--	2025-06-04 09:17
python-embed.pc.in	310 B	-rw-r--r--	2024-03-19 22:46
python-wing3.wpr	555 B	-rwxr-xr-x	2024-03-19 22:46
python-wing4.wpr	835 B	-rwxr-xr-x	2024-03-19 22:46
python-wing5.wpr	835 B	-rwxr-xr-x	2024-03-19 22:46
python.man	18.48 KB	-rw-r--r--	2024-03-19 22:46
python.pc	289 B	-rw-r--r--	2025-06-04 09:17
python.pc.in	268 B	-rw-r--r--	2024-03-19 22:46
requirements-test.txt	15 B	-rw-r--r--	2024-03-19 22:46
stable_abi.txt	47.86 KB	-rw-r--r--	2024-03-19 22:46
svnmap.txt	4.09 MB	-rw-r--r--	2024-03-19 22:46
valgrind-python.supp	8.62 KB	-rw-r--r--	2024-03-19 22:46
vgrindefs	500 B	-rw-r--r--	2024-03-19 22:46

Rename

/* Coverity Scan model
 *
 * This is a modeling file for Coverity Scan. Modeling helps to avoid false
 * positives.
 *
 * - A model file can't import any header files.
 * - Therefore only some built-in primitives like int, char and void are
 *   available but not wchar_t, NULL etc.
 * - Modeling doesn't need full structs and typedefs. Rudimentary structs
 *   and similar types are sufficient.
 * - An uninitialized local pointer is not an error. It signifies that the
 *   variable could be either NULL or have some data.
 *
 * Coverity Scan doesn't pick up modifications automatically. The model file
 * must be uploaded by an admin in the analysis settings of
 * http://scan.coverity.com/projects/200
 */

/* dummy definitions, in most cases struct fields aren't required. */

#define NULL (void *)0
#define assert(op) /* empty */
typedef int sdigit;
typedef long Py_ssize_t;
typedef unsigned short wchar_t;
typedef struct {} PyObject;
typedef struct {} grammar;
typedef struct {} DIR;
typedef struct {} RFILE;

/* Python/pythonrun.c
 * resource leak false positive */

void Py_FatalError(const char *msg) {
    __coverity_panic__();
}

/* Objects/longobject.c
 * NEGATIVE_RETURNS false positive */

static PyObject *get_small_int(sdigit ival)
{
    /* Never returns NULL */
    PyObject *p;
    assert(p != NULL);
    return p;
}

PyObject *PyLong_FromLong(long ival)
{
    PyObject *p;
    int maybe;

if ((ival >= -5) && (ival < 257 + 5)) {
        p = get_small_int(ival);
        assert(p != NULL);
        return p;
    }
    if (maybe)
        return p;
    else
        return NULL;
}

PyObject *PyLong_FromLongLong(long long ival)
{
    return PyLong_FromLong((long)ival);
}

PyObject *PyLong_FromSsize_t(Py_ssize_t ival)
{
    return PyLong_FromLong((long)ival);
}

/* tainted sinks
 *
 * Coverity considers argv, environ, read() data etc as tained.
 */

PyObject *PyErr_SetFromErrnoWithFilename(PyObject *exc, const char *filename)
{
    __coverity_tainted_data_sink__(filename);
    return NULL;
}

/* Python/fileutils.c */
wchar_t *Py_DecodeLocale(const char* arg, size_t *size)
{
   wchar_t *w;
    __coverity_tainted_data_sink__(arg);
    __coverity_tainted_data_sink__(size);
   return w;
}

/* Python/marshal.c */

static Py_ssize_t r_string(char *s, Py_ssize_t n, RFILE *p)
{
    __coverity_tainted_string_argument__(s);
    return 0;
}

static long r_long(RFILE *p)
{
    long l;
    unsigned char buffer[4];

r_string((char *)buffer, 4, p);
    __coverity_tainted_string_sanitize_content__(buffer);
    l = (long)buffer;
    return l;
}

/* Coverity doesn't understand that fdopendir() may take ownership of fd. */

DIR *fdopendir(int fd)
{
    DIR *d;
    if (d) {
        __coverity_close__(fd);
    }
    return d;
}

/* Modules/_datetime.c
 *
 * Coverity thinks that the input values for these function come from a
 * tainted source PyDateTime_DATE_GET_* macros use bit shifting.
 */
static PyObject *
build_struct_time(int y, int m, int d, int hh, int mm, int ss, int dstflag)
{
    PyObject *result;

__coverity_tainted_data_sanitize__(y);
    __coverity_tainted_data_sanitize__(m);
    __coverity_tainted_data_sanitize__(d);
    __coverity_tainted_data_sanitize__(hh);
    __coverity_tainted_data_sanitize__(mm);
    __coverity_tainted_data_sanitize__(ss);
    __coverity_tainted_data_sanitize__(dstflag);

return result;
}

static int
ymd_to_ord(int year, int month, int day)
{
    int ord = 0;

__coverity_tainted_data_sanitize__(year);
    __coverity_tainted_data_sanitize__(month);
    __coverity_tainted_data_sanitize__(day);

return ord;
}

static int
normalize_date(int *year, int *month, int *day)
{
    __coverity_tainted_data_sanitize__(*year);
    __coverity_tainted_data_sanitize__(*month);
    __coverity_tainted_data_sanitize__(*day);

return 0;
}

static int
weekday(int year, int month, int day)
{
    int w = 0;

__coverity_tainted_data_sanitize__(year);
    __coverity_tainted_data_sanitize__(month);
    __coverity_tainted_data_sanitize__(day);

return w;
}