Fix array overflow bug in bdiff I ran into a bug while importing a large repository into mercurial. The diff algorithm does not allocate a big enough array of hunks for some test cases. This results in memory corruption, and possibly, as in my case, a seg fault. You should be able to reproduce this problem with any case of more than a few lines that follows this pattern: a b = = 1 1 2 2 3 4 3 5 . 4 . . 5 . . . I.e., "a" has blank lines on every other line that have been removed in "b". In this case, the number of matching hunks is equal to the number of lines in "b". This is more than ((an + bn)/4 + 2). I'm not sure what motivates this formula, but when I changed it to the smaller of an or bn (+ 1), it works. [comment added by mpm]

     1

import getopt

     2

     3

def fancyopts(args, options, state):

     4

    long=[]

     5

    short=''

     6

    map={}

     7

    dt={}

     8

     9

    for s, l, d, c in options:

    10

        map['-'+s] = map['--'+l]=l

    11

        state[l] = d

    12

        dt[l] = type(d)

    13

        if not d is None and not callable(d): s, l=s+':', l+'='

    14

        if s: short = short + s

    15

        if l: long.append(l)

    16

    17

    opts, args = getopt.getopt(args, short, long)

    18

    19

    for opt, arg in opts:

    20

        if dt[map[opt]] is type(fancyopts): state[map[opt]](state,map[opt],arg)

    21

        elif dt[map[opt]] is type(1): state[map[opt]] = int(arg)

    22

        elif dt[map[opt]] is type(''): state[map[opt]] = arg

    23

        elif dt[map[opt]] is type([]): state[map[opt]].append(arg)

    24

        elif dt[map[opt]] is type(None): state[map[opt]] = 1

    25

    26

    return args

    27