~ubuntu-branches/ubuntu/vivid/postgresql-8.4/vivid

« back to all changes in this revision

Viewing changes to src/backend/regex/regexec.c

  • Committer: Package Import Robot
  • Author(s): Martin Pitt
  • Date: 2012-02-25 11:17:15 UTC
  • mfrom: (13.1.9 sid)
  • Revision ID: package-import@ubuntu.com-20120225111715-b7tf22u4p8ok7hd9
Tags: 8.4.11-1
* Urgency medium due to security fixes.
* New upstream bug fix/security release:
  - Require execute permission on the trigger function for "CREATE
    TRIGGER".
    This missing check could allow another user to execute a trigger
    function with forged input data, by installing it on a table he
    owns. This is only of significance for trigger functions marked
    SECURITY DEFINER, since otherwise trigger functions run as the
    table owner anyway. (CVE-2012-0866)
  - Remove arbitrary limitation on length of common name in SSL
    certificates.
    Both libpq and the server truncated the common name extracted from
    an SSL certificate at 32 bytes. Normally this would cause nothing
    worse than an unexpected verification failure, but there are some
    rather-implausible scenarios in which it might allow one
    certificate holder to impersonate another. The victim would have to
    have a common name exactly 32 bytes long, and the attacker would
    have to persuade a trusted CA to issue a certificate in which the
    common name has that string as a prefix. Impersonating a server
    would also require some additional exploit to redirect client
    connections. (CVE-2012-0867)
  - Convert newlines to spaces in names written in pg_dump comments.
    pg_dump was incautious about sanitizing object names that are
    emitted within SQL comments in its output script. A name containing
    a newline would at least render the script syntactically incorrect.
    Maliciously crafted object names could present a SQL injection risk
    when the script is reloaded. (CVE-2012-0868)
  - Fix btree index corruption from insertions concurrent with
    vacuuming.
    An index page split caused by an insertion could sometimes cause a
    concurrently-running "VACUUM" to miss removing index entries that
    it should remove. After the corresponding table rows are removed,
    the dangling index entries would cause errors (such as "could not
    read block N in file ...") or worse, silently wrong query results
    after unrelated rows are re-inserted at the now-free table
    locations. This bug has been present since release 8.2, but occurs
    so infrequently that it was not diagnosed until now. If you have
    reason to suspect that it has happened in your database, reindexing
    the affected index will fix things.
  - Update per-column permissions, not only per-table permissions, when
    changing table owner.
    Failure to do this meant that any previously granted column
    permissions were still shown as having been granted by the old
    owner. This meant that neither the new owner nor a superuser could
    revoke the now-untraceable-to-table-owner permissions.
  - Allow non-existent values for some settings in "ALTER USER/DATABASE
    SET".
    Allow default_text_search_config, default_tablespace, and
    temp_tablespaces to be set to names that are not known. This is
    because they might be known in another database where the setting
    is intended to be used, or for the tablespace cases because the
    tablespace might not be created yet. The same issue was previously
    recognized for search_path, and these settings now act like that
    one.
  - Avoid crashing when we have problems deleting table files
    post-commit.
    Dropping a table should lead to deleting the underlying disk files
    only after the transaction commits. In event of failure then (for
    instance, because of wrong file permissions) the code is supposed
    to just emit a warning message and go on, since it's too late to
    abort the transaction. This logic got broken as of release 8.4,
    causing such situations to result in a PANIC and an unrestartable
    database.
  - Track the OID counter correctly during WAL replay, even when it
    wraps around.
    Previously the OID counter would remain stuck at a high value until
    the system exited replay mode. The practical consequences of that
    are usually nil, but there are scenarios wherein a standby server
    that's been promoted to master might take a long time to advance
    the OID counter to a reasonable value once values are needed.
  - Fix regular expression back-references with - attached.
    Rather than enforcing an exact string match, the code would
    effectively accept any string that satisfies the pattern
    sub-expression referenced by the back-reference symbol.
    A similar problem still afflicts back-references that are embedded
    in a larger quantified expression, rather than being the immediate
    subject of the quantifier. This will be addressed in a future
    PostgreSQL release.
  - Fix recently-introduced memory leak in processing of inet/cidr
    values.
  - Fix dangling pointer after "CREATE TABLE AS"/"SELECT INTO" in a
    SQL-language function.
    In most cases this only led to an assertion failure in
    assert-enabled builds, but worse consequences seem possible.
  - Fix I/O-conversion-related memory leaks in plpgsql.
  - Improve pg_dump's handling of inherited table columns.
    pg_dump mishandled situations where a child column has a different
    default expression than its parent column. If the default is
    textually identical to the parent's default, but not actually the
    same (for instance, because of schema search path differences) it
    would not be recognized as different, so that after dump and
    restore the child would be allowed to inherit the parent's default.
    Child columns that are NOT NULL where their parent is not could
    also be restored subtly incorrectly.
  - Fix pg_restore's direct-to-database mode for INSERT-style table
    data.
    Direct-to-database restores from archive files made with
    "--inserts" or "--column-inserts" options fail when using
    pg_restore from a release dated September or December 2011, as a
    result of an oversight in a fix for another problem. The archive
    file itself is not at fault, and text-mode output is okay.
  - Allow AT option in ecpg DEALLOCATE statements.
    The infrastructure to support this has been there for awhile, but
    through an oversight there was still an error check rejecting the
    case.
  - Fix error in "contrib/intarray"'s int[] & int[] operator.
    If the smallest integer the two input arrays have in common is 1,
    and there are smaller values in either array, then 1 would be
    incorrectly omitted from the result.
  - Fix error detection in "contrib/pgcrypto"'s encrypt_iv() and
    decrypt_iv().
    These functions failed to report certain types of invalid-input
    errors, and would instead return random garbage values for
    incorrect input.
  - Fix one-byte buffer overrun in "contrib/test_parser".
    The code would try to read one more byte than it should, which
    would crash in corner cases. Since "contrib/test_parser" is only
    example code, this is not a security issue in itself, but bad
    example code is still bad.
  - Use __sync_lock_test_and_set() for spinlocks on ARM, if available.
    This function replaces our previous use of the SWPB instruction,
    which is deprecated and not available on ARMv6 and later. Reports
    suggest that the old code doesn't fail in an obvious way on recent
    ARM boards, but simply doesn't interlock concurrent accesses,
    leading to bizarre failures in multiprocess operation.
  - Use "-fexcess-precision=standard" option when building with gcc
    versions that accept it.
    This prevents assorted scenarios wherein recent versions of gcc
    will produce creative results.
  - Allow use of threaded Python on FreeBSD.
    Our configure script previously believed that this combination
    wouldn't work; but FreeBSD fixed the problem, so remove that error
    check.
* Drop 04-armel-tas.patch, applied upstream.

Show diffs side-by-side

added added

removed removed

Lines of Context:
716
716
                case '|':                               /* alternation */
717
717
                        assert(t->left != NULL);
718
718
                        return caltdissect(v, t, begin, end);
719
 
                case 'b':                               /* back ref -- shouldn't be calling us! */
 
719
                case 'b':                               /* back reference */
720
720
                        assert(t->left == NULL && t->right == NULL);
721
721
                        return cbrdissect(v, t, begin, end);
722
722
                case '.':                               /* concatenation */
973
973
                   chr *begin,                  /* beginning of relevant substring */
974
974
                   chr *end)                    /* end of same */
975
975
{
976
 
        int                     i;
977
976
        int                     n = t->subno;
978
 
        size_t          len;
979
 
        chr                *paren;
 
977
        size_t          numreps;
 
978
        size_t          tlen;
 
979
        size_t          brlen;
 
980
        chr                *brstring;
980
981
        chr                *p;
981
 
        chr                *stop;
982
982
        int                     min = t->min;
983
983
        int                     max = t->max;
984
984
 
989
989
 
990
990
        MDEBUG(("cbackref n%d %d{%d-%d}\n", t->retry, n, min, max));
991
991
 
 
992
        /* get the backreferenced string */
992
993
        if (v->pmatch[n].rm_so == -1)
993
994
                return REG_NOMATCH;
994
 
        paren = v->start + v->pmatch[n].rm_so;
995
 
        len = v->pmatch[n].rm_eo - v->pmatch[n].rm_so;
 
995
        brstring = v->start + v->pmatch[n].rm_so;
 
996
        brlen = v->pmatch[n].rm_eo - v->pmatch[n].rm_so;
996
997
 
997
998
        /* no room to maneuver -- retries are pointless */
998
999
        if (v->mem[t->retry])
999
1000
                return REG_NOMATCH;
1000
1001
        v->mem[t->retry] = 1;
1001
1002
 
1002
 
        /* special-case zero-length string */
1003
 
        if (len == 0)
1004
 
        {
1005
 
                if (begin == end)
1006
 
                        return REG_OKAY;
1007
 
                return REG_NOMATCH;
1008
 
        }
1009
 
 
1010
 
        /* and too-short string */
1011
 
        assert(end >= begin);
1012
 
        if ((size_t) (end - begin) < len)
1013
 
                return REG_NOMATCH;
1014
 
        stop = end - len;
1015
 
 
1016
 
        /* count occurrences */
1017
 
        i = 0;
1018
 
        for (p = begin; p <= stop && (i < max || max == INFINITY); p += len)
1019
 
        {
1020
 
                if ((*v->g->compare) (paren, p, len) != 0)
1021
 
                        break;
1022
 
                i++;
1023
 
        }
1024
 
        MDEBUG(("cbackref found %d\n", i));
1025
 
 
1026
 
        /* and sort it out */
1027
 
        if (p != end)                           /* didn't consume all of it */
1028
 
                return REG_NOMATCH;
1029
 
        if (min <= i && (i <= max || max == INFINITY))
1030
 
                return REG_OKAY;
1031
 
        return REG_NOMATCH;                     /* out of range */
 
1003
        /* special cases for zero-length strings */
 
1004
        if (brlen == 0)
 
1005
        {
 
1006
                /*
 
1007
                 * matches only if target is zero length, but any number of
 
1008
                 * repetitions can be considered to be present
 
1009
                 */
 
1010
                if (begin == end && min <= max)
 
1011
                {
 
1012
                        MDEBUG(("cbackref matched trivially\n"));
 
1013
                        return REG_OKAY;
 
1014
                }
 
1015
                return REG_NOMATCH;
 
1016
        }
 
1017
        if (begin == end)
 
1018
        {
 
1019
                /* matches only if zero repetitions are okay */
 
1020
                if (min == 0)
 
1021
                {
 
1022
                        MDEBUG(("cbackref matched trivially\n"));
 
1023
                        return REG_OKAY;
 
1024
                }
 
1025
                return REG_NOMATCH;
 
1026
        }
 
1027
 
 
1028
        /*
 
1029
         * check target length to see if it could possibly be an allowed number of
 
1030
         * repetitions of brstring
 
1031
         */
 
1032
        assert(end > begin);
 
1033
        tlen = end - begin;
 
1034
        if (tlen % brlen != 0)
 
1035
                return REG_NOMATCH;
 
1036
        numreps = tlen / brlen;
 
1037
        if (numreps < min || (numreps > max && max != INFINITY))
 
1038
                return REG_NOMATCH;
 
1039
 
 
1040
        /* okay, compare the actual string contents */
 
1041
        p = begin;
 
1042
        while (numreps-- > 0)
 
1043
        {
 
1044
                if ((*v->g->compare) (brstring, p, brlen) != 0)
 
1045
                        return REG_NOMATCH;
 
1046
                p += brlen;
 
1047
        }
 
1048
 
 
1049
        MDEBUG(("cbackref matched\n"));
 
1050
        return REG_OKAY;
1032
1051
}
1033
1052
 
1034
1053
/*