]> git.puffer.fish Git - matthieu/frr.git/commit
lib: graph: fix vector_remove()
authorDavid Lamparter <equinox@opensourcerouting.org>
Thu, 26 Jan 2017 04:59:50 +0000 (05:59 +0100)
committerDavid Lamparter <equinox@opensourcerouting.org>
Thu, 26 Jan 2017 06:05:56 +0000 (07:05 +0100)
commitc30420200bf9e0a8c076da5348a0c538de87640c
tree2a07bc7abcad50a7c9aa05a845a9b9859ca81520
parent5bf313994d01bc05f0fe90fdb69322812c399440
lib: graph: fix vector_remove()

vector_remove would corrupt the data in the following sequence:
1. assume vector v = [a, b], active = 2
2. vector_unset(v, 0) => v = [NULL, b], active = 2
3. vector_remove(v, 1)

vector_remove calls vector_unset(v, 1), vector_unset notices index #0 is
also NULL and thus sets active to 0.

The equality test in vector_remove() now fails, leading it to decrement
v->active *again*, leading to an underflow that will likely crash the
daemon (and might even be exploitable).

This call sequence does not happen in existing code since vector_unset()
is not used on graph from/to lists.  Nonetheless this is a buried land
mine in the code at best.

Rewrite the function - while we're at it, there's no reason to move the
entire array around, just fill the hole with the last element.

Signed-off-by: David Lamparter <equinox@opensourcerouting.org>
Cc: Quentin Young <qlyoung@cumulusnetworks.com>
lib/graph.c