RED status - strcpy/memcpy about cbmc

[marek-trtik]

The benchmark
/home/marek/root/sv-benchmarks/c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--usb--serial--digi_acceleport.ko-entry_point_true-unreach-call.cil.out.c
is fixed by initialising data structures. CBMC now produces ERROR status instead of RED.

[marek-trtik]

The issue in the benchmarks was fixed in this commit
8f8df39
However, this is NOT a proper fix. The problem is in benchmarks instead of in the CBMC. But unfortunately, benchmarks are frozen so here is the strategy:

1. We evaluate CBMC (with the commit) on whole SV-COMP.
2. We check whether the fix had a negative effect on some benchmarks w.r.t. the previous evaluations.
3. If no negative impact is observed, we keep the hot-fix. Otherwise, we discard the commit and send an email to SV-COMP jury to exclude results of the 3 benchmarks from the tables.

AFTER DEADLINE OF SV-COMP: In case the commit is kept, the commit should not go to CBMC devlop. It will be excluded from all PRs. And also, we should fix the 3 benchmarks and make PRs to sosy repo.