Line | Branch | Exec | Source |
---|---|---|---|
1 | /* | ||
2 | * This file is part of FFmpeg. | ||
3 | * | ||
4 | * FFmpeg is free software; you can redistribute it and/or | ||
5 | * modify it under the terms of the GNU Lesser General Public | ||
6 | * License as published by the Free Software Foundation; either | ||
7 | * version 2.1 of the License, or (at your option) any later version. | ||
8 | * | ||
9 | * FFmpeg is distributed in the hope that it will be useful, | ||
10 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | ||
12 | * Lesser General Public License for more details. | ||
13 | * | ||
14 | * You should have received a copy of the GNU Lesser General Public | ||
15 | * License along with FFmpeg; if not, write to the Free Software | ||
16 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA | ||
17 | */ | ||
18 | |||
19 | #include <stdint.h> | ||
20 | #include <string.h> | ||
21 | |||
22 | #include "libavutil/error.h" | ||
23 | #include "libavutil/lfg.h" | ||
24 | #include "libavutil/log.h" | ||
25 | |||
26 | #include "libavcodec/rangecoder.h" | ||
27 | |||
28 | #define SIZE 1240 | ||
29 | |||
30 | /** | ||
31 | * Check if at the current position there is a valid looking termination | ||
32 | * @param version version 0 requires the decoder to know the data size in bytes | ||
33 | * version 1 needs about 1 bit more space but does not need to | ||
34 | * carry the size from encoder to decoder | ||
35 | * @returns negative AVERROR code on error or non negative. | ||
36 | */ | ||
37 | 2048 | static int rac_check_termination(RangeCoder *c, int version) | |
38 | { | ||
39 |
2/2✓ Branch 0 taken 1024 times.
✓ Branch 1 taken 1024 times.
|
2048 | if (version == 1) { |
40 | 1024 | RangeCoder tmp = *c; | |
41 | 1024 | get_rac(c, (uint8_t[]) { 129 }); | |
42 | |||
43 |
3/4✓ Branch 0 taken 896 times.
✓ Branch 1 taken 128 times.
✓ Branch 2 taken 896 times.
✗ Branch 3 not taken.
|
1024 | if (c->bytestream == tmp.bytestream && c->bytestream > c->bytestream_start) |
44 | 896 | tmp.low -= *--tmp.bytestream; | |
45 | 1024 | tmp.bytestream_end = tmp.bytestream; | |
46 | |||
47 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1024 times.
|
1024 | if (get_rac(&tmp, (uint8_t[]) { 129 })) |
48 | ✗ | return AVERROR_INVALIDDATA; | |
49 | } else { | ||
50 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 1024 times.
|
1024 | if (c->bytestream_end != c->bytestream) |
51 | ✗ | return AVERROR_INVALIDDATA; | |
52 | } | ||
53 | 2048 | return 0; | |
54 | } | ||
55 | |||
56 | 1 | int main(void) | |
57 | { | ||
58 | RangeCoder c; | ||
59 | 1 | uint8_t b[9 * SIZE] = {0}; | |
60 | uint8_t r[9 * SIZE]; | ||
61 | int i, p, actual_length, version; | ||
62 | uint8_t state[10]; | ||
63 | AVLFG prng; | ||
64 | |||
65 | 1 | av_lfg_init(&prng, 1); | |
66 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 1 times.
|
3 | for (version = 0; version < 2; version++) { |
67 |
2/2✓ Branch 0 taken 2048 times.
✓ Branch 1 taken 2 times.
|
2050 | for (p = 0; p< 1024; p++) { |
68 | 2048 | ff_init_range_encoder(&c, b, SIZE); | |
69 | 2048 | ff_build_rac_states(&c, (1LL << 32) / 20, 128 + 64 + 32 + 16); | |
70 | |||
71 | 2048 | memset(state, 128, sizeof(state)); | |
72 | |||
73 |
2/2✓ Branch 0 taken 2539520 times.
✓ Branch 1 taken 2048 times.
|
2541568 | for (i = 0; i < SIZE; i++) |
74 | 2539520 | r[i] = av_lfg_get(&prng) % 7; | |
75 | |||
76 |
2/2✓ Branch 0 taken 2539520 times.
✓ Branch 1 taken 2048 times.
|
2541568 | for (i = 0; i < SIZE; i++) |
77 | 2539520 | put_rac(&c, state, r[i] & 1); | |
78 | |||
79 | 2048 | actual_length = ff_rac_terminate(&c, version); | |
80 | |||
81 |
2/2✓ Branch 0 taken 1024 times.
✓ Branch 1 taken 1024 times.
|
2048 | ff_init_range_decoder(&c, b, version ? SIZE : actual_length); |
82 | |||
83 | 2048 | memset(state, 128, sizeof(state)); | |
84 | |||
85 |
2/2✓ Branch 0 taken 2539520 times.
✓ Branch 1 taken 2048 times.
|
2541568 | for (i = 0; i < SIZE; i++) |
86 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 2539520 times.
|
2539520 | if ((r[i] & 1) != get_rac(&c, state)) { |
87 | ✗ | av_log(NULL, AV_LOG_ERROR, "rac failure at %d pass %d version %d\n", i, p, version); | |
88 | ✗ | return 1; | |
89 | } | ||
90 | |||
91 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 2048 times.
|
2048 | if (rac_check_termination(&c, version) < 0) { |
92 | ✗ | av_log(NULL, AV_LOG_ERROR, "rac failure at termination pass %d version %d\n", p, version); | |
93 | ✗ | return 1; | |
94 | } | ||
95 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 2048 times.
|
2048 | if (c.bytestream - c.bytestream_start - actual_length != version) { |
96 | ✗ | av_log(NULL, AV_LOG_ERROR, "rac failure at pass %d version %d\n", p, version); | |
97 | ✗ | return 1; | |
98 | } | ||
99 | } | ||
100 | } | ||
101 | |||
102 | 1 | return 0; | |
103 | } | ||
104 |