need a utility to edit colors in video

[Dieter]

I need to edit a few specific numeric colors in video
to avoid what I suspect is an unfixable hardware bug.

For example change 000000 to 010101,
where values are rrggbb, 000000 = black

(I suspect I'll need to translate these values to the
yuv colorspace, I think that will be okay.)

Can anyone recommend a utility that can do this?

It would also be useful to have knobs to adjust
brightness, contrast, saturation, ...