/src/libtiff/libtiff/tif_fax3.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* |
2 | | * Copyright (c) 1990-1997 Sam Leffler |
3 | | * Copyright (c) 1991-1997 Silicon Graphics, Inc. |
4 | | * |
5 | | * Permission to use, copy, modify, distribute, and sell this software and |
6 | | * its documentation for any purpose is hereby granted without fee, provided |
7 | | * that (i) the above copyright notices and this permission notice appear in |
8 | | * all copies of the software and related documentation, and (ii) the names of |
9 | | * Sam Leffler and Silicon Graphics may not be used in any advertising or |
10 | | * publicity relating to the software without the specific, prior written |
11 | | * permission of Sam Leffler and Silicon Graphics. |
12 | | * |
13 | | * THE SOFTWARE IS PROVIDED "AS-IS" AND WITHOUT WARRANTY OF ANY KIND, |
14 | | * EXPRESS, IMPLIED OR OTHERWISE, INCLUDING WITHOUT LIMITATION, ANY |
15 | | * WARRANTY OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. |
16 | | * |
17 | | * IN NO EVENT SHALL SAM LEFFLER OR SILICON GRAPHICS BE LIABLE FOR |
18 | | * ANY SPECIAL, INCIDENTAL, INDIRECT OR CONSEQUENTIAL DAMAGES OF ANY KIND, |
19 | | * OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, |
20 | | * WHETHER OR NOT ADVISED OF THE POSSIBILITY OF DAMAGE, AND ON ANY THEORY OF |
21 | | * LIABILITY, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE |
22 | | * OF THIS SOFTWARE. |
23 | | */ |
24 | | |
25 | | #include "tiffiop.h" |
26 | | #ifdef CCITT_SUPPORT |
27 | | /* |
28 | | * TIFF Library. |
29 | | * |
30 | | * CCITT Group 3 (T.4) and Group 4 (T.6) Compression Support. |
31 | | * |
32 | | * This file contains support for decoding and encoding TIFF |
33 | | * compression algorithms 2, 3, 4, and 32771. |
34 | | * |
35 | | * Decoder support is derived, with permission, from the code |
36 | | * in Frank Cringle's viewfax program; |
37 | | * Copyright (C) 1990, 1995 Frank D. Cringle. |
38 | | */ |
39 | | #include "tif_fax3.h" |
40 | | #define G3CODES |
41 | | #include "t4.h" |
42 | | #include <stdio.h> |
43 | | |
44 | | #ifndef EOF_REACHED_COUNT_THRESHOLD |
45 | | /* Arbitrary threshold to avoid corrupted single-strip files with extremely |
46 | | * large imageheight to cause apparently endless looping, such as in |
47 | | * https://gitlab.com/libtiff/libtiff/-/issues/583 |
48 | | */ |
49 | 0 | #define EOF_REACHED_COUNT_THRESHOLD 8192 |
50 | | #endif |
51 | | |
52 | | /* |
53 | | * Compression+decompression state blocks are |
54 | | * derived from this ``base state'' block. |
55 | | */ |
56 | | typedef struct |
57 | | { |
58 | | int rw_mode; /* O_RDONLY for decode, else encode */ |
59 | | int mode; /* operating mode */ |
60 | | tmsize_t rowbytes; /* bytes in a decoded scanline */ |
61 | | uint32_t rowpixels; /* pixels in a scanline */ |
62 | | |
63 | | uint16_t cleanfaxdata; /* CleanFaxData tag */ |
64 | | uint32_t badfaxrun; /* BadFaxRun tag */ |
65 | | uint32_t badfaxlines; /* BadFaxLines tag */ |
66 | | uint32_t groupoptions; /* Group 3/4 options tag */ |
67 | | |
68 | | TIFFVGetMethod vgetparent; /* super-class method */ |
69 | | TIFFVSetMethod vsetparent; /* super-class method */ |
70 | | TIFFPrintMethod printdir; /* super-class method */ |
71 | | } Fax3BaseState; |
72 | 0 | #define Fax3State(tif) ((Fax3BaseState *)(tif)->tif_data) |
73 | | |
74 | | typedef enum |
75 | | { |
76 | | G3_1D, |
77 | | G3_2D |
78 | | } Ttag; |
79 | | typedef struct |
80 | | { |
81 | | Fax3BaseState b; |
82 | | |
83 | | /* Decoder state info */ |
84 | | const unsigned char *bitmap; /* bit reversal table */ |
85 | | uint32_t data; /* current i/o byte/word */ |
86 | | int bit; /* current i/o bit in byte */ |
87 | | int EOLcnt; /* count of EOL codes recognized */ |
88 | | int eofReachedCount; /* number of times decode has been called with |
89 | | EOF already reached */ |
90 | | TIFFFaxFillFunc fill; /* fill routine */ |
91 | | uint32_t *runs; /* b&w runs for current/previous row */ |
92 | | uint32_t nruns; /* size of the refruns / curruns arrays */ |
93 | | uint32_t *refruns; /* runs for reference line */ |
94 | | uint32_t *curruns; /* runs for current line */ |
95 | | |
96 | | /* Encoder state info */ |
97 | | Ttag tag; /* encoding state */ |
98 | | unsigned char *refline; /* reference line for 2d decoding */ |
99 | | int k; /* #rows left that can be 2d encoded */ |
100 | | int maxk; /* max #rows that can be 2d encoded */ |
101 | | |
102 | | int line; |
103 | | } Fax3CodecState; |
104 | 0 | #define DecoderState(tif) ((Fax3CodecState *)Fax3State(tif)) |
105 | 0 | #define EncoderState(tif) ((Fax3CodecState *)Fax3State(tif)) |
106 | | |
107 | 0 | #define is2DEncoding(sp) (sp->b.groupoptions & GROUP3OPT_2DENCODING) |
108 | 0 | #define isAligned(p, t) ((((size_t)(p)) & (sizeof(t) - 1)) == 0) |
109 | | |
110 | | /* |
111 | | * Group 3 and Group 4 Decoding. |
112 | | */ |
113 | | |
114 | | /* |
115 | | * These macros glue the TIFF library state to |
116 | | * the state expected by Frank's decoder. |
117 | | */ |
118 | | #define DECLARE_STATE(tif, sp, mod) \ |
119 | 0 | static const char module[] = mod; \ |
120 | 0 | Fax3CodecState *sp = DecoderState(tif); \ |
121 | 0 | int a0; /* reference element */ \ |
122 | 0 | int lastx = sp->b.rowpixels; /* last element in row */ \ |
123 | 0 | uint32_t BitAcc; /* bit accumulator */ \ |
124 | 0 | int BitsAvail; /* # valid bits in BitAcc */ \ |
125 | 0 | int RunLength; /* length of current run */ \ |
126 | 0 | unsigned char *cp; /* next byte of input data */ \ |
127 | 0 | unsigned char *ep; /* end of input data */ \ |
128 | 0 | uint32_t *pa; /* place to stuff next run */ \ |
129 | 0 | uint32_t *thisrun; /* current row's run array */ \ |
130 | 0 | int EOLcnt; /* # EOL codes recognized */ \ |
131 | 0 | const unsigned char *bitmap = sp->bitmap; /* input data bit reverser */ \ |
132 | 0 | const TIFFFaxTabEnt *TabEnt |
133 | | |
134 | | #define DECLARE_STATE_2D(tif, sp, mod) \ |
135 | 0 | DECLARE_STATE(tif, sp, mod); \ |
136 | 0 | int b1; /* next change on prev line */ \ |
137 | 0 | uint32_t \ |
138 | 0 | *pb /* next run in reference line */ /* \ |
139 | | * Load any state that may be \ |
140 | | * changed during decoding. \ |
141 | | */ |
142 | | #define CACHE_STATE(tif, sp) \ |
143 | 0 | do \ |
144 | 0 | { \ |
145 | 0 | BitAcc = sp->data; \ |
146 | 0 | BitsAvail = sp->bit; \ |
147 | 0 | EOLcnt = sp->EOLcnt; \ |
148 | 0 | cp = (unsigned char *)tif->tif_rawcp; \ |
149 | 0 | ep = cp + tif->tif_rawcc; \ |
150 | 0 | } while (0) |
151 | | /* |
152 | | * Save state possibly changed during decoding. |
153 | | */ |
154 | | #define UNCACHE_STATE(tif, sp) \ |
155 | 0 | do \ |
156 | 0 | { \ |
157 | 0 | sp->bit = BitsAvail; \ |
158 | 0 | sp->data = BitAcc; \ |
159 | 0 | sp->EOLcnt = EOLcnt; \ |
160 | 0 | tif->tif_rawcc -= (tmsize_t)((uint8_t *)cp - tif->tif_rawcp); \ |
161 | 0 | tif->tif_rawcp = (uint8_t *)cp; \ |
162 | 0 | } while (0) |
163 | | |
164 | | /* |
165 | | * Setup state for decoding a strip. |
166 | | */ |
167 | | static int Fax3PreDecode(TIFF *tif, uint16_t s) |
168 | 0 | { |
169 | 0 | Fax3CodecState *sp = DecoderState(tif); |
170 | |
|
171 | 0 | (void)s; |
172 | 0 | assert(sp != NULL); |
173 | 0 | sp->bit = 0; /* force initial read */ |
174 | 0 | sp->data = 0; |
175 | 0 | sp->EOLcnt = 0; /* force initial scan for EOL */ |
176 | 0 | sp->eofReachedCount = 0; |
177 | | /* |
178 | | * Decoder assumes lsb-to-msb bit order. Note that we select |
179 | | * this here rather than in Fax3SetupState so that viewers can |
180 | | * hold the image open, fiddle with the FillOrder tag value, |
181 | | * and then re-decode the image. Otherwise they'd need to close |
182 | | * and open the image to get the state reset. |
183 | | */ |
184 | 0 | sp->bitmap = |
185 | 0 | TIFFGetBitRevTable(tif->tif_dir.td_fillorder != FILLORDER_LSB2MSB); |
186 | 0 | sp->curruns = sp->runs; |
187 | 0 | if (sp->refruns) |
188 | 0 | { /* init reference line to white */ |
189 | 0 | sp->refruns = sp->runs + sp->nruns; |
190 | 0 | sp->refruns[0] = (uint32_t)sp->b.rowpixels; |
191 | 0 | sp->refruns[1] = 0; |
192 | 0 | } |
193 | 0 | sp->line = 0; |
194 | 0 | return (1); |
195 | 0 | } |
196 | | |
197 | | /* |
198 | | * Routine for handling various errors/conditions. |
199 | | * Note how they are "glued into the decoder" by |
200 | | * overriding the definitions used by the decoder. |
201 | | */ |
202 | | |
203 | | static void Fax3Unexpected(const char *module, TIFF *tif, uint32_t line, |
204 | | uint32_t a0) |
205 | 0 | { |
206 | 0 | TIFFErrorExtR(tif, module, |
207 | 0 | "Bad code word at line %" PRIu32 " of %s %" PRIu32 |
208 | 0 | " (x %" PRIu32 ")", |
209 | 0 | line, isTiled(tif) ? "tile" : "strip", |
210 | 0 | (isTiled(tif) ? tif->tif_curtile : tif->tif_curstrip), a0); |
211 | 0 | } |
212 | 0 | #define unexpected(table, a0) Fax3Unexpected(module, tif, sp->line, a0) |
213 | | |
214 | | static void Fax3Extension(const char *module, TIFF *tif, uint32_t line, |
215 | | uint32_t a0) |
216 | 0 | { |
217 | 0 | TIFFErrorExtR(tif, module, |
218 | 0 | "Uncompressed data (not supported) at line %" PRIu32 |
219 | 0 | " of %s %" PRIu32 " (x %" PRIu32 ")", |
220 | 0 | line, isTiled(tif) ? "tile" : "strip", |
221 | 0 | (isTiled(tif) ? tif->tif_curtile : tif->tif_curstrip), a0); |
222 | 0 | } |
223 | 0 | #define extension(a0) Fax3Extension(module, tif, sp->line, a0) |
224 | | |
225 | | static void Fax3BadLength(const char *module, TIFF *tif, uint32_t line, |
226 | | uint32_t a0, uint32_t lastx) |
227 | 0 | { |
228 | 0 | TIFFWarningExtR(tif, module, |
229 | 0 | "%s at line %" PRIu32 " of %s %" PRIu32 " (got %" PRIu32 |
230 | 0 | ", expected %" PRIu32 ")", |
231 | 0 | a0 < lastx ? "Premature EOL" : "Line length mismatch", line, |
232 | 0 | isTiled(tif) ? "tile" : "strip", |
233 | 0 | (isTiled(tif) ? tif->tif_curtile : tif->tif_curstrip), a0, |
234 | 0 | lastx); |
235 | 0 | } |
236 | 0 | #define badlength(a0, lastx) Fax3BadLength(module, tif, sp->line, a0, lastx) |
237 | | |
238 | | static void Fax3PrematureEOF(const char *module, TIFF *tif, uint32_t line, |
239 | | uint32_t a0) |
240 | 0 | { |
241 | 0 | TIFFWarningExtR(tif, module, |
242 | 0 | "Premature EOF at line %" PRIu32 " of %s %" PRIu32 |
243 | 0 | " (x %" PRIu32 ")", |
244 | 0 | line, isTiled(tif) ? "tile" : "strip", |
245 | 0 | (isTiled(tif) ? tif->tif_curtile : tif->tif_curstrip), a0); |
246 | 0 | } |
247 | | #define prematureEOF(a0) \ |
248 | 0 | do \ |
249 | 0 | { \ |
250 | 0 | Fax3PrematureEOF(module, tif, sp->line, a0); \ |
251 | 0 | ++sp->eofReachedCount; \ |
252 | 0 | } while (0) |
253 | | |
254 | | #define Nop |
255 | | |
256 | | /** |
257 | | * Decode the requested amount of G3 1D-encoded data. |
258 | | * @param buf destination buffer |
259 | | * @param occ available bytes in destination buffer |
260 | | * @param s number of planes (ignored) |
261 | | * @returns 1 for success, -1 in case of error |
262 | | */ |
263 | | static int Fax3Decode1D(TIFF *tif, uint8_t *buf, tmsize_t occ, uint16_t s) |
264 | 0 | { |
265 | 0 | DECLARE_STATE(tif, sp, "Fax3Decode1D"); |
266 | 0 | (void)s; |
267 | 0 | if (occ % sp->b.rowbytes) |
268 | 0 | { |
269 | 0 | TIFFErrorExtR(tif, module, "Fractional scanlines cannot be read"); |
270 | 0 | return (-1); |
271 | 0 | } |
272 | 0 | if (sp->eofReachedCount >= EOF_REACHED_COUNT_THRESHOLD) |
273 | 0 | { |
274 | 0 | TIFFErrorExtR( |
275 | 0 | tif, module, |
276 | 0 | "End of file has already been reached %d times within that strip", |
277 | 0 | sp->eofReachedCount); |
278 | 0 | return (-1); |
279 | 0 | } |
280 | 0 | CACHE_STATE(tif, sp); |
281 | 0 | thisrun = sp->curruns; |
282 | 0 | while (occ > 0) |
283 | 0 | { |
284 | 0 | a0 = 0; |
285 | 0 | RunLength = 0; |
286 | 0 | pa = thisrun; |
287 | | #ifdef FAX3_DEBUG |
288 | | printf("\nBitAcc=%08" PRIX32 ", BitsAvail = %d\n", BitAcc, BitsAvail); |
289 | | printf("-------------------- %" PRIu32 "\n", tif->tif_row); |
290 | | fflush(stdout); |
291 | | #endif |
292 | 0 | SYNC_EOL(EOF1D); |
293 | 0 | EXPAND1D(EOF1Da); |
294 | 0 | (*sp->fill)(buf, thisrun, pa, lastx); |
295 | 0 | buf += sp->b.rowbytes; |
296 | 0 | occ -= sp->b.rowbytes; |
297 | 0 | sp->line++; |
298 | 0 | continue; |
299 | 0 | EOF1D: /* premature EOF */ |
300 | 0 | CLEANUP_RUNS(); |
301 | 0 | EOF1Da: /* premature EOF */ |
302 | 0 | (*sp->fill)(buf, thisrun, pa, lastx); |
303 | 0 | UNCACHE_STATE(tif, sp); |
304 | 0 | return (-1); |
305 | 0 | } |
306 | 0 | UNCACHE_STATE(tif, sp); |
307 | 0 | return (1); |
308 | 0 | } |
309 | | |
310 | | #define SWAP(t, a, b) \ |
311 | 0 | { \ |
312 | 0 | t x; \ |
313 | 0 | x = (a); \ |
314 | 0 | (a) = (b); \ |
315 | 0 | (b) = x; \ |
316 | 0 | } |
317 | | /* |
318 | | * Decode the requested amount of G3 2D-encoded data. |
319 | | */ |
320 | | static int Fax3Decode2D(TIFF *tif, uint8_t *buf, tmsize_t occ, uint16_t s) |
321 | 0 | { |
322 | 0 | DECLARE_STATE_2D(tif, sp, "Fax3Decode2D"); |
323 | 0 | int is1D; /* current line is 1d/2d-encoded */ |
324 | 0 | (void)s; |
325 | 0 | if (occ % sp->b.rowbytes) |
326 | 0 | { |
327 | 0 | TIFFErrorExtR(tif, module, "Fractional scanlines cannot be read"); |
328 | 0 | return (-1); |
329 | 0 | } |
330 | 0 | if (sp->eofReachedCount >= EOF_REACHED_COUNT_THRESHOLD) |
331 | 0 | { |
332 | 0 | TIFFErrorExtR( |
333 | 0 | tif, module, |
334 | 0 | "End of file has already been reached %d times within that strip", |
335 | 0 | sp->eofReachedCount); |
336 | 0 | return (-1); |
337 | 0 | } |
338 | 0 | CACHE_STATE(tif, sp); |
339 | 0 | while (occ > 0) |
340 | 0 | { |
341 | 0 | a0 = 0; |
342 | 0 | RunLength = 0; |
343 | 0 | pa = thisrun = sp->curruns; |
344 | | #ifdef FAX3_DEBUG |
345 | | printf("\nBitAcc=%08" PRIX32 ", BitsAvail = %d EOLcnt = %d", BitAcc, |
346 | | BitsAvail, EOLcnt); |
347 | | #endif |
348 | 0 | SYNC_EOL(EOF2D); |
349 | 0 | NeedBits8(1, EOF2D); |
350 | 0 | is1D = GetBits(1); /* 1D/2D-encoding tag bit */ |
351 | 0 | ClrBits(1); |
352 | | #ifdef FAX3_DEBUG |
353 | | printf(" %s\n-------------------- %" PRIu32 "\n", is1D ? "1D" : "2D", |
354 | | tif->tif_row); |
355 | | fflush(stdout); |
356 | | #endif |
357 | 0 | pb = sp->refruns; |
358 | 0 | b1 = *pb++; |
359 | 0 | if (is1D) |
360 | 0 | EXPAND1D(EOF2Da); |
361 | 0 | else |
362 | 0 | EXPAND2D(EOF2Da); |
363 | 0 | (*sp->fill)(buf, thisrun, pa, lastx); |
364 | 0 | if (pa < thisrun + sp->nruns) |
365 | 0 | { |
366 | 0 | SETVALUE(0); /* imaginary change for reference */ |
367 | 0 | } |
368 | 0 | SWAP(uint32_t *, sp->curruns, sp->refruns); |
369 | 0 | buf += sp->b.rowbytes; |
370 | 0 | occ -= sp->b.rowbytes; |
371 | 0 | sp->line++; |
372 | 0 | continue; |
373 | 0 | EOF2D: /* premature EOF */ |
374 | 0 | CLEANUP_RUNS(); |
375 | 0 | EOF2Da: /* premature EOF */ |
376 | 0 | (*sp->fill)(buf, thisrun, pa, lastx); |
377 | 0 | UNCACHE_STATE(tif, sp); |
378 | 0 | return (-1); |
379 | 0 | } |
380 | 0 | UNCACHE_STATE(tif, sp); |
381 | 0 | return (1); |
382 | 0 | } |
383 | | #undef SWAP |
384 | | |
385 | | #define FILL(n, cp) \ |
386 | 0 | for (int32_t ifill = 0; ifill < (n); ++ifill) \ |
387 | 0 | { \ |
388 | 0 | (cp)[ifill] = 0xff; \ |
389 | 0 | } \ |
390 | 0 | (cp) += (n); |
391 | | |
392 | | #define ZERO(n, cp) \ |
393 | 0 | for (int32_t izero = 0; izero < (n); ++izero) \ |
394 | 0 | { \ |
395 | 0 | (cp)[izero] = 0; \ |
396 | 0 | } \ |
397 | 0 | (cp) += (n); |
398 | | |
399 | | /* |
400 | | * Bit-fill a row according to the white/black |
401 | | * runs generated during G3/G4 decoding. |
402 | | */ |
403 | | void _TIFFFax3fillruns(unsigned char *buf, uint32_t *runs, uint32_t *erun, |
404 | | uint32_t lastx) |
405 | 0 | { |
406 | 0 | static const unsigned char _fillmasks[] = {0x00, 0x80, 0xc0, 0xe0, 0xf0, |
407 | 0 | 0xf8, 0xfc, 0xfe, 0xff}; |
408 | 0 | unsigned char *cp; |
409 | 0 | uint32_t x, bx, run; |
410 | 0 | int32_t n, nw; |
411 | 0 | int64_t *lp; |
412 | |
|
413 | 0 | if ((erun - runs) & 1) |
414 | 0 | *erun++ = 0; |
415 | 0 | x = 0; |
416 | 0 | for (; runs < erun; runs += 2) |
417 | 0 | { |
418 | 0 | run = runs[0]; |
419 | 0 | if (x + run > lastx || run > lastx) |
420 | 0 | run = runs[0] = (uint32_t)(lastx - x); |
421 | 0 | if (run) |
422 | 0 | { |
423 | 0 | cp = buf + (x >> 3); |
424 | 0 | bx = x & 7; |
425 | 0 | if (run > 8 - bx) |
426 | 0 | { |
427 | 0 | if (bx) |
428 | 0 | { /* align to byte boundary */ |
429 | 0 | *cp++ &= 0xff << (8 - bx); |
430 | 0 | run -= 8 - bx; |
431 | 0 | } |
432 | 0 | if ((n = run >> 3) != 0) |
433 | 0 | { /* multiple bytes to fill */ |
434 | 0 | if ((n / sizeof(int64_t)) > 1) |
435 | 0 | { |
436 | | /* |
437 | | * Align to int64_tword boundary and fill. |
438 | | */ |
439 | 0 | for (; n && !isAligned(cp, int64_t); n--) |
440 | 0 | *cp++ = 0x00; |
441 | 0 | lp = (int64_t *)cp; |
442 | 0 | nw = (int32_t)(n / sizeof(int64_t)); |
443 | 0 | n -= nw * sizeof(int64_t); |
444 | 0 | do |
445 | 0 | { |
446 | 0 | *lp++ = 0L; |
447 | 0 | } while (--nw); |
448 | 0 | cp = (unsigned char *)lp; |
449 | 0 | } |
450 | 0 | ZERO(n, cp); |
451 | 0 | run &= 7; |
452 | 0 | } |
453 | 0 | if (run) |
454 | 0 | cp[0] &= 0xff >> run; |
455 | 0 | } |
456 | 0 | else |
457 | 0 | cp[0] &= ~(_fillmasks[run] >> bx); |
458 | 0 | x += runs[0]; |
459 | 0 | } |
460 | 0 | run = runs[1]; |
461 | 0 | if (x + run > lastx || run > lastx) |
462 | 0 | run = runs[1] = lastx - x; |
463 | 0 | if (run) |
464 | 0 | { |
465 | 0 | cp = buf + (x >> 3); |
466 | 0 | bx = x & 7; |
467 | 0 | if (run > 8 - bx) |
468 | 0 | { |
469 | 0 | if (bx) |
470 | 0 | { /* align to byte boundary */ |
471 | 0 | *cp++ |= 0xff >> bx; |
472 | 0 | run -= 8 - bx; |
473 | 0 | } |
474 | 0 | if ((n = run >> 3) != 0) |
475 | 0 | { /* multiple bytes to fill */ |
476 | 0 | if ((n / sizeof(int64_t)) > 1) |
477 | 0 | { |
478 | | /* |
479 | | * Align to int64_t boundary and fill. |
480 | | */ |
481 | 0 | for (; n && !isAligned(cp, int64_t); n--) |
482 | 0 | *cp++ = 0xff; |
483 | 0 | lp = (int64_t *)cp; |
484 | 0 | nw = (int32_t)(n / sizeof(int64_t)); |
485 | 0 | n -= nw * sizeof(int64_t); |
486 | 0 | do |
487 | 0 | { |
488 | 0 | *lp++ = -1L; |
489 | 0 | } while (--nw); |
490 | 0 | cp = (unsigned char *)lp; |
491 | 0 | } |
492 | 0 | FILL(n, cp); |
493 | 0 | run &= 7; |
494 | 0 | } |
495 | | /* Explicit 0xff masking to make icc -check=conversions happy */ |
496 | 0 | if (run) |
497 | 0 | cp[0] = (unsigned char)((cp[0] | (0xff00 >> run)) & 0xff); |
498 | 0 | } |
499 | 0 | else |
500 | 0 | cp[0] |= _fillmasks[run] >> bx; |
501 | 0 | x += runs[1]; |
502 | 0 | } |
503 | 0 | } |
504 | 0 | assert(x == lastx); |
505 | 0 | } |
506 | | #undef ZERO |
507 | | #undef FILL |
508 | | |
509 | | static int Fax3FixupTags(TIFF *tif) |
510 | 0 | { |
511 | 0 | (void)tif; |
512 | 0 | return (1); |
513 | 0 | } |
514 | | |
515 | | /* |
516 | | * Setup G3/G4-related compression/decompression state |
517 | | * before data is processed. This routine is called once |
518 | | * per image -- it sets up different state based on whether |
519 | | * or not decoding or encoding is being done and whether |
520 | | * 1D- or 2D-encoded data is involved. |
521 | | */ |
522 | | static int Fax3SetupState(TIFF *tif) |
523 | 0 | { |
524 | 0 | static const char module[] = "Fax3SetupState"; |
525 | 0 | TIFFDirectory *td = &tif->tif_dir; |
526 | 0 | Fax3BaseState *sp = Fax3State(tif); |
527 | 0 | int needsRefLine; |
528 | 0 | Fax3CodecState *dsp = (Fax3CodecState *)Fax3State(tif); |
529 | 0 | tmsize_t rowbytes; |
530 | 0 | uint32_t rowpixels; |
531 | |
|
532 | 0 | if (td->td_bitspersample != 1) |
533 | 0 | { |
534 | 0 | TIFFErrorExtR(tif, module, |
535 | 0 | "Bits/sample must be 1 for Group 3/4 encoding/decoding"); |
536 | 0 | return (0); |
537 | 0 | } |
538 | | /* |
539 | | * Calculate the scanline/tile widths. |
540 | | */ |
541 | 0 | if (isTiled(tif)) |
542 | 0 | { |
543 | 0 | rowbytes = TIFFTileRowSize(tif); |
544 | 0 | rowpixels = td->td_tilewidth; |
545 | 0 | } |
546 | 0 | else |
547 | 0 | { |
548 | 0 | rowbytes = TIFFScanlineSize(tif); |
549 | 0 | rowpixels = td->td_imagewidth; |
550 | 0 | } |
551 | 0 | if ((int64_t)rowbytes < ((int64_t)rowpixels + 7) / 8) |
552 | 0 | { |
553 | 0 | TIFFErrorExtR(tif, module, |
554 | 0 | "Inconsistent number of bytes per row : rowbytes=%" PRId64 |
555 | 0 | " rowpixels=%" PRIu32, |
556 | 0 | (int64_t)rowbytes, rowpixels); |
557 | 0 | return (0); |
558 | 0 | } |
559 | 0 | sp->rowbytes = rowbytes; |
560 | 0 | sp->rowpixels = rowpixels; |
561 | | /* |
562 | | * Allocate any additional space required for decoding/encoding. |
563 | | */ |
564 | 0 | needsRefLine = ((sp->groupoptions & GROUP3OPT_2DENCODING) || |
565 | 0 | td->td_compression == COMPRESSION_CCITTFAX4); |
566 | | |
567 | | /* |
568 | | Assure that allocation computations do not overflow. |
569 | | |
570 | | TIFFroundup and TIFFSafeMultiply return zero on integer overflow |
571 | | */ |
572 | 0 | if (dsp->runs != NULL) |
573 | 0 | { |
574 | 0 | _TIFFfreeExt(tif, dsp->runs); |
575 | 0 | dsp->runs = (uint32_t *)NULL; |
576 | 0 | } |
577 | 0 | dsp->nruns = TIFFroundup_32(rowpixels + 1, 32); |
578 | 0 | if (needsRefLine) |
579 | 0 | { |
580 | 0 | dsp->nruns = TIFFSafeMultiply(uint32_t, dsp->nruns, 2); |
581 | 0 | } |
582 | 0 | if ((dsp->nruns == 0) || (TIFFSafeMultiply(uint32_t, dsp->nruns, 2) == 0)) |
583 | 0 | { |
584 | 0 | TIFFErrorExtR(tif, tif->tif_name, |
585 | 0 | "Row pixels integer overflow (rowpixels %" PRIu32 ")", |
586 | 0 | rowpixels); |
587 | 0 | return (0); |
588 | 0 | } |
589 | 0 | dsp->runs = (uint32_t *)_TIFFCheckMalloc( |
590 | 0 | tif, TIFFSafeMultiply(uint32_t, dsp->nruns, 2), sizeof(uint32_t), |
591 | 0 | "for Group 3/4 run arrays"); |
592 | 0 | if (dsp->runs == NULL) |
593 | 0 | return (0); |
594 | 0 | memset(dsp->runs, 0, |
595 | 0 | TIFFSafeMultiply(uint32_t, dsp->nruns, 2) * sizeof(uint32_t)); |
596 | 0 | dsp->curruns = dsp->runs; |
597 | 0 | if (needsRefLine) |
598 | 0 | dsp->refruns = dsp->runs + dsp->nruns; |
599 | 0 | else |
600 | 0 | dsp->refruns = NULL; |
601 | 0 | if (td->td_compression == COMPRESSION_CCITTFAX3 && is2DEncoding(dsp)) |
602 | 0 | { /* NB: default is 1D routine */ |
603 | 0 | tif->tif_decoderow = Fax3Decode2D; |
604 | 0 | tif->tif_decodestrip = Fax3Decode2D; |
605 | 0 | tif->tif_decodetile = Fax3Decode2D; |
606 | 0 | } |
607 | |
|
608 | 0 | if (needsRefLine) |
609 | 0 | { /* 2d encoding */ |
610 | 0 | Fax3CodecState *esp = EncoderState(tif); |
611 | | /* |
612 | | * 2d encoding requires a scanline |
613 | | * buffer for the ``reference line''; the |
614 | | * scanline against which delta encoding |
615 | | * is referenced. The reference line must |
616 | | * be initialized to be ``white'' (done elsewhere). |
617 | | */ |
618 | 0 | if (esp->refline != NULL) |
619 | 0 | { |
620 | 0 | _TIFFfreeExt(tif, esp->refline); |
621 | 0 | } |
622 | 0 | esp->refline = (unsigned char *)_TIFFmallocExt(tif, rowbytes); |
623 | 0 | if (esp->refline == NULL) |
624 | 0 | { |
625 | 0 | TIFFErrorExtR(tif, module, "No space for Group 3/4 reference line"); |
626 | 0 | return (0); |
627 | 0 | } |
628 | 0 | } |
629 | 0 | else /* 1d encoding */ |
630 | 0 | EncoderState(tif)->refline = NULL; |
631 | | |
632 | 0 | return (1); |
633 | 0 | } |
634 | | |
635 | | /* |
636 | | * CCITT Group 3 FAX Encoding. |
637 | | */ |
638 | | |
639 | | #define Fax3FlushBits(tif, sp) \ |
640 | 0 | { \ |
641 | 0 | if ((tif)->tif_rawcc >= (tif)->tif_rawdatasize) \ |
642 | 0 | { \ |
643 | 0 | if (!TIFFFlushData1(tif)) \ |
644 | 0 | return 0; \ |
645 | 0 | } \ |
646 | 0 | *(tif)->tif_rawcp++ = (uint8_t)(sp)->data; \ |
647 | 0 | (tif)->tif_rawcc++; \ |
648 | 0 | (sp)->data = 0, (sp)->bit = 8; \ |
649 | 0 | } |
650 | | #define _FlushBits(tif) \ |
651 | 0 | { \ |
652 | 0 | if ((tif)->tif_rawcc >= (tif)->tif_rawdatasize) \ |
653 | 0 | { \ |
654 | 0 | if (!TIFFFlushData1(tif)) \ |
655 | 0 | return 0; \ |
656 | 0 | } \ |
657 | 0 | *(tif)->tif_rawcp++ = (uint8_t)data; \ |
658 | 0 | (tif)->tif_rawcc++; \ |
659 | 0 | data = 0, bit = 8; \ |
660 | 0 | } |
661 | | static const int _msbmask[9] = {0x00, 0x01, 0x03, 0x07, 0x0f, |
662 | | 0x1f, 0x3f, 0x7f, 0xff}; |
663 | | #define _PutBits(tif, bits, length) \ |
664 | 0 | { \ |
665 | 0 | while (length > bit) \ |
666 | 0 | { \ |
667 | 0 | data |= bits >> (length - bit); \ |
668 | 0 | length -= bit; \ |
669 | 0 | _FlushBits(tif); \ |
670 | 0 | } \ |
671 | 0 | assert(length < 9); \ |
672 | 0 | data |= (bits & _msbmask[length]) << (bit - length); \ |
673 | 0 | bit -= length; \ |
674 | 0 | if (bit == 0) \ |
675 | 0 | _FlushBits(tif); \ |
676 | 0 | } |
677 | | |
678 | | /* |
679 | | * Write a variable-length bit-value to |
680 | | * the output stream. Values are |
681 | | * assumed to be at most 16 bits. |
682 | | */ |
683 | | static int Fax3PutBits(TIFF *tif, unsigned int bits, unsigned int length) |
684 | 0 | { |
685 | 0 | Fax3CodecState *sp = EncoderState(tif); |
686 | 0 | unsigned int bit = sp->bit; |
687 | 0 | int data = sp->data; |
688 | |
|
689 | 0 | _PutBits(tif, bits, length); |
690 | |
|
691 | 0 | sp->data = data; |
692 | 0 | sp->bit = bit; |
693 | 0 | return 1; |
694 | 0 | } |
695 | | |
696 | | /* |
697 | | * Write a code to the output stream. |
698 | | */ |
699 | 0 | #define putcode(tif, te) Fax3PutBits(tif, (te)->code, (te)->length) |
700 | | |
701 | | #ifdef FAX3_DEBUG |
702 | | #define DEBUG_COLOR(w) (tab == TIFFFaxWhiteCodes ? w "W" : w "B") |
703 | | #define DEBUG_PRINT(what, len) \ |
704 | | { \ |
705 | | int t; \ |
706 | | printf("%08" PRIX32 "/%-2d: %s%5d\t", data, bit, DEBUG_COLOR(what), \ |
707 | | len); \ |
708 | | for (t = length - 1; t >= 0; t--) \ |
709 | | putchar(code & (1 << t) ? '1' : '0'); \ |
710 | | putchar('\n'); \ |
711 | | } |
712 | | #endif |
713 | | |
714 | | /* |
715 | | * Write the sequence of codes that describes |
716 | | * the specified span of zero's or one's. The |
717 | | * appropriate table that holds the make-up and |
718 | | * terminating codes is supplied. |
719 | | */ |
720 | | static int putspan(TIFF *tif, int32_t span, const tableentry *tab) |
721 | 0 | { |
722 | 0 | Fax3CodecState *sp = EncoderState(tif); |
723 | 0 | unsigned int bit = sp->bit; |
724 | 0 | int data = sp->data; |
725 | 0 | unsigned int code, length; |
726 | |
|
727 | 0 | while (span >= 2624) |
728 | 0 | { |
729 | 0 | const tableentry *te = &tab[63 + (2560 >> 6)]; |
730 | 0 | code = te->code; |
731 | 0 | length = te->length; |
732 | | #ifdef FAX3_DEBUG |
733 | | DEBUG_PRINT("MakeUp", te->runlen); |
734 | | #endif |
735 | 0 | _PutBits(tif, code, length); |
736 | 0 | span -= te->runlen; |
737 | 0 | } |
738 | 0 | if (span >= 64) |
739 | 0 | { |
740 | 0 | const tableentry *te = &tab[63 + (span >> 6)]; |
741 | 0 | assert(te->runlen == 64 * (span >> 6)); |
742 | 0 | code = te->code; |
743 | 0 | length = te->length; |
744 | | #ifdef FAX3_DEBUG |
745 | | DEBUG_PRINT("MakeUp", te->runlen); |
746 | | #endif |
747 | 0 | _PutBits(tif, code, length); |
748 | 0 | span -= te->runlen; |
749 | 0 | } |
750 | 0 | code = tab[span].code; |
751 | 0 | length = tab[span].length; |
752 | | #ifdef FAX3_DEBUG |
753 | | DEBUG_PRINT(" Term", tab[span].runlen); |
754 | | #endif |
755 | 0 | _PutBits(tif, code, length); |
756 | |
|
757 | 0 | sp->data = data; |
758 | 0 | sp->bit = bit; |
759 | |
|
760 | 0 | return 1; |
761 | 0 | } |
762 | | |
763 | | /* |
764 | | * Write an EOL code to the output stream. The zero-fill |
765 | | * logic for byte-aligning encoded scanlines is handled |
766 | | * here. We also handle writing the tag bit for the next |
767 | | * scanline when doing 2d encoding. |
768 | | */ |
769 | | static int Fax3PutEOL(TIFF *tif) |
770 | 0 | { |
771 | 0 | Fax3CodecState *sp = EncoderState(tif); |
772 | 0 | unsigned int bit = sp->bit; |
773 | 0 | int data = sp->data; |
774 | 0 | unsigned int code, length, tparm; |
775 | |
|
776 | 0 | if (sp->b.groupoptions & GROUP3OPT_FILLBITS) |
777 | 0 | { |
778 | | /* |
779 | | * Force bit alignment so EOL will terminate on |
780 | | * a byte boundary. That is, force the bit alignment |
781 | | * to 16-12 = 4 before putting out the EOL code. |
782 | | */ |
783 | 0 | int align = 8 - 4; |
784 | 0 | if (align != sp->bit) |
785 | 0 | { |
786 | 0 | if (align > sp->bit) |
787 | 0 | align = sp->bit + (8 - align); |
788 | 0 | else |
789 | 0 | align = sp->bit - align; |
790 | 0 | tparm = align; |
791 | 0 | _PutBits(tif, 0, tparm); |
792 | 0 | } |
793 | 0 | } |
794 | 0 | code = EOL; |
795 | 0 | length = 12; |
796 | 0 | if (is2DEncoding(sp)) |
797 | 0 | { |
798 | 0 | code = (code << 1) | (sp->tag == G3_1D); |
799 | 0 | length++; |
800 | 0 | } |
801 | 0 | _PutBits(tif, code, length); |
802 | |
|
803 | 0 | sp->data = data; |
804 | 0 | sp->bit = bit; |
805 | |
|
806 | 0 | return 1; |
807 | 0 | } |
808 | | |
809 | | /* |
810 | | * Reset encoding state at the start of a strip. |
811 | | */ |
812 | | static int Fax3PreEncode(TIFF *tif, uint16_t s) |
813 | 0 | { |
814 | 0 | Fax3CodecState *sp = EncoderState(tif); |
815 | |
|
816 | 0 | (void)s; |
817 | 0 | assert(sp != NULL); |
818 | 0 | sp->bit = 8; |
819 | 0 | sp->data = 0; |
820 | 0 | sp->tag = G3_1D; |
821 | | /* |
822 | | * This is necessary for Group 4; otherwise it isn't |
823 | | * needed because the first scanline of each strip ends |
824 | | * up being copied into the refline. |
825 | | */ |
826 | 0 | if (sp->refline) |
827 | 0 | _TIFFmemset(sp->refline, 0x00, sp->b.rowbytes); |
828 | 0 | if (is2DEncoding(sp)) |
829 | 0 | { |
830 | 0 | float res = tif->tif_dir.td_yresolution; |
831 | | /* |
832 | | * The CCITT spec says that when doing 2d encoding, you |
833 | | * should only do it on K consecutive scanlines, where K |
834 | | * depends on the resolution of the image being encoded |
835 | | * (2 for <= 200 lpi, 4 for > 200 lpi). Since the directory |
836 | | * code initializes td_yresolution to 0, this code will |
837 | | * select a K of 2 unless the YResolution tag is set |
838 | | * appropriately. (Note also that we fudge a little here |
839 | | * and use 150 lpi to avoid problems with units conversion.) |
840 | | */ |
841 | 0 | if (tif->tif_dir.td_resolutionunit == RESUNIT_CENTIMETER) |
842 | 0 | res *= 2.54f; /* convert to inches */ |
843 | 0 | sp->maxk = (res > 150 ? 4 : 2); |
844 | 0 | sp->k = sp->maxk - 1; |
845 | 0 | } |
846 | 0 | else |
847 | 0 | sp->k = sp->maxk = 0; |
848 | 0 | sp->line = 0; |
849 | 0 | return (1); |
850 | 0 | } |
851 | | |
852 | | static const unsigned char zeroruns[256] = { |
853 | | 8, 7, 6, 6, 5, 5, 5, 5, 4, 4, 4, 4, 4, 4, 4, 4, /* 0x00 - 0x0f */ |
854 | | 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, /* 0x10 - 0x1f */ |
855 | | 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, /* 0x20 - 0x2f */ |
856 | | 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, /* 0x30 - 0x3f */ |
857 | | 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, /* 0x40 - 0x4f */ |
858 | | 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, /* 0x50 - 0x5f */ |
859 | | 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, /* 0x60 - 0x6f */ |
860 | | 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, /* 0x70 - 0x7f */ |
861 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0x80 - 0x8f */ |
862 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0x90 - 0x9f */ |
863 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0xa0 - 0xaf */ |
864 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0xb0 - 0xbf */ |
865 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0xc0 - 0xcf */ |
866 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0xd0 - 0xdf */ |
867 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0xe0 - 0xef */ |
868 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0xf0 - 0xff */ |
869 | | }; |
870 | | static const unsigned char oneruns[256] = { |
871 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0x00 - 0x0f */ |
872 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0x10 - 0x1f */ |
873 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0x20 - 0x2f */ |
874 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0x30 - 0x3f */ |
875 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0x40 - 0x4f */ |
876 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0x50 - 0x5f */ |
877 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0x60 - 0x6f */ |
878 | | 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, /* 0x70 - 0x7f */ |
879 | | 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, /* 0x80 - 0x8f */ |
880 | | 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, /* 0x90 - 0x9f */ |
881 | | 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, /* 0xa0 - 0xaf */ |
882 | | 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, /* 0xb0 - 0xbf */ |
883 | | 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, /* 0xc0 - 0xcf */ |
884 | | 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, /* 0xd0 - 0xdf */ |
885 | | 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, /* 0xe0 - 0xef */ |
886 | | 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 6, 6, 7, 8, /* 0xf0 - 0xff */ |
887 | | }; |
888 | | |
889 | | /* |
890 | | * Find a span of ones or zeros using the supplied |
891 | | * table. The ``base'' of the bit string is supplied |
892 | | * along with the start+end bit indices. |
893 | | */ |
894 | | static inline int32_t find0span(unsigned char *bp, int32_t bs, int32_t be) |
895 | 0 | { |
896 | 0 | int32_t bits = be - bs; |
897 | 0 | int32_t n, span; |
898 | |
|
899 | 0 | bp += bs >> 3; |
900 | | /* |
901 | | * Check partial byte on lhs. |
902 | | */ |
903 | 0 | if (bits > 0 && (n = (bs & 7)) != 0) |
904 | 0 | { |
905 | 0 | span = zeroruns[(*bp << n) & 0xff]; |
906 | 0 | if (span > 8 - n) /* table value too generous */ |
907 | 0 | span = 8 - n; |
908 | 0 | if (span > bits) /* constrain span to bit range */ |
909 | 0 | span = bits; |
910 | 0 | if (n + span < 8) /* doesn't extend to edge of byte */ |
911 | 0 | return (span); |
912 | 0 | bits -= span; |
913 | 0 | bp++; |
914 | 0 | } |
915 | 0 | else |
916 | 0 | span = 0; |
917 | 0 | if (bits >= (int32_t)(2 * 8 * sizeof(int64_t))) |
918 | 0 | { |
919 | 0 | int64_t *lp; |
920 | | /* |
921 | | * Align to int64_t boundary and check int64_t words. |
922 | | */ |
923 | 0 | while (!isAligned(bp, int64_t)) |
924 | 0 | { |
925 | 0 | if (*bp != 0x00) |
926 | 0 | return (span + zeroruns[*bp]); |
927 | 0 | span += 8; |
928 | 0 | bits -= 8; |
929 | 0 | bp++; |
930 | 0 | } |
931 | 0 | lp = (int64_t *)bp; |
932 | 0 | while ((bits >= (int32_t)(8 * sizeof(int64_t))) && (0 == *lp)) |
933 | 0 | { |
934 | 0 | span += 8 * sizeof(int64_t); |
935 | 0 | bits -= 8 * sizeof(int64_t); |
936 | 0 | lp++; |
937 | 0 | } |
938 | 0 | bp = (unsigned char *)lp; |
939 | 0 | } |
940 | | /* |
941 | | * Scan full bytes for all 0's. |
942 | | */ |
943 | 0 | while (bits >= 8) |
944 | 0 | { |
945 | 0 | if (*bp != 0x00) /* end of run */ |
946 | 0 | return (span + zeroruns[*bp]); |
947 | 0 | span += 8; |
948 | 0 | bits -= 8; |
949 | 0 | bp++; |
950 | 0 | } |
951 | | /* |
952 | | * Check partial byte on rhs. |
953 | | */ |
954 | 0 | if (bits > 0) |
955 | 0 | { |
956 | 0 | n = zeroruns[*bp]; |
957 | 0 | span += (n > bits ? bits : n); |
958 | 0 | } |
959 | 0 | return (span); |
960 | 0 | } |
961 | | |
962 | | static inline int32_t find1span(unsigned char *bp, int32_t bs, int32_t be) |
963 | 0 | { |
964 | 0 | int32_t bits = be - bs; |
965 | 0 | int32_t n, span; |
966 | |
|
967 | 0 | bp += bs >> 3; |
968 | | /* |
969 | | * Check partial byte on lhs. |
970 | | */ |
971 | 0 | if (bits > 0 && (n = (bs & 7)) != 0) |
972 | 0 | { |
973 | 0 | span = oneruns[(*bp << n) & 0xff]; |
974 | 0 | if (span > 8 - n) /* table value too generous */ |
975 | 0 | span = 8 - n; |
976 | 0 | if (span > bits) /* constrain span to bit range */ |
977 | 0 | span = bits; |
978 | 0 | if (n + span < 8) /* doesn't extend to edge of byte */ |
979 | 0 | return (span); |
980 | 0 | bits -= span; |
981 | 0 | bp++; |
982 | 0 | } |
983 | 0 | else |
984 | 0 | span = 0; |
985 | 0 | if (bits >= (int32_t)(2 * 8 * sizeof(int64_t))) |
986 | 0 | { |
987 | 0 | int64_t *lp; |
988 | | /* |
989 | | * Align to int64_t boundary and check int64_t words. |
990 | | */ |
991 | 0 | while (!isAligned(bp, int64_t)) |
992 | 0 | { |
993 | 0 | if (*bp != 0xff) |
994 | 0 | return (span + oneruns[*bp]); |
995 | 0 | span += 8; |
996 | 0 | bits -= 8; |
997 | 0 | bp++; |
998 | 0 | } |
999 | 0 | lp = (int64_t *)bp; |
1000 | 0 | while ((bits >= (int32_t)(8 * sizeof(int64_t))) && |
1001 | 0 | (~((uint64_t)0) == (uint64_t)*lp)) |
1002 | 0 | { |
1003 | 0 | span += 8 * sizeof(int64_t); |
1004 | 0 | bits -= 8 * sizeof(int64_t); |
1005 | 0 | lp++; |
1006 | 0 | } |
1007 | 0 | bp = (unsigned char *)lp; |
1008 | 0 | } |
1009 | | /* |
1010 | | * Scan full bytes for all 1's. |
1011 | | */ |
1012 | 0 | while (bits >= 8) |
1013 | 0 | { |
1014 | 0 | if (*bp != 0xff) /* end of run */ |
1015 | 0 | return (span + oneruns[*bp]); |
1016 | 0 | span += 8; |
1017 | 0 | bits -= 8; |
1018 | 0 | bp++; |
1019 | 0 | } |
1020 | | /* |
1021 | | * Check partial byte on rhs. |
1022 | | */ |
1023 | 0 | if (bits > 0) |
1024 | 0 | { |
1025 | 0 | n = oneruns[*bp]; |
1026 | 0 | span += (n > bits ? bits : n); |
1027 | 0 | } |
1028 | 0 | return (span); |
1029 | 0 | } |
1030 | | |
1031 | | /* |
1032 | | * Return the offset of the next bit in the range |
1033 | | * [bs..be] that is different from the specified |
1034 | | * color. The end, be, is returned if no such bit |
1035 | | * exists. |
1036 | | */ |
1037 | | #define finddiff(_cp, _bs, _be, _color) \ |
1038 | 0 | (_bs + (_color ? find1span(_cp, _bs, _be) : find0span(_cp, _bs, _be))) |
1039 | | /* |
1040 | | * Like finddiff, but also check the starting bit |
1041 | | * against the end in case start > end. |
1042 | | */ |
1043 | | #define finddiff2(_cp, _bs, _be, _color) \ |
1044 | 0 | (_bs < _be ? finddiff(_cp, _bs, _be, _color) : _be) |
1045 | | |
1046 | | /* |
1047 | | * 1d-encode a row of pixels. The encoding is |
1048 | | * a sequence of all-white or all-black spans |
1049 | | * of pixels encoded with Huffman codes. |
1050 | | */ |
1051 | | static int Fax3Encode1DRow(TIFF *tif, unsigned char *bp, uint32_t bits) |
1052 | 0 | { |
1053 | 0 | Fax3CodecState *sp = EncoderState(tif); |
1054 | 0 | int32_t span; |
1055 | 0 | uint32_t bs = 0; |
1056 | |
|
1057 | 0 | for (;;) |
1058 | 0 | { |
1059 | 0 | span = find0span(bp, bs, bits); /* white span */ |
1060 | 0 | if (!putspan(tif, span, TIFFFaxWhiteCodes)) |
1061 | 0 | return 0; |
1062 | 0 | bs += span; |
1063 | 0 | if (bs >= bits) |
1064 | 0 | break; |
1065 | 0 | span = find1span(bp, bs, bits); /* black span */ |
1066 | 0 | if (!putspan(tif, span, TIFFFaxBlackCodes)) |
1067 | 0 | return 0; |
1068 | 0 | bs += span; |
1069 | 0 | if (bs >= bits) |
1070 | 0 | break; |
1071 | 0 | } |
1072 | 0 | if (sp->b.mode & (FAXMODE_BYTEALIGN | FAXMODE_WORDALIGN)) |
1073 | 0 | { |
1074 | 0 | if (sp->bit != 8) /* byte-align */ |
1075 | 0 | Fax3FlushBits(tif, sp); |
1076 | 0 | if ((sp->b.mode & FAXMODE_WORDALIGN) && |
1077 | 0 | !isAligned(tif->tif_rawcp, uint16_t)) |
1078 | 0 | Fax3FlushBits(tif, sp); |
1079 | 0 | } |
1080 | 0 | return (1); |
1081 | 0 | } |
1082 | | |
1083 | | static const tableentry horizcode = {3, 0x1, 0}; /* 001 */ |
1084 | | static const tableentry passcode = {4, 0x1, 0}; /* 0001 */ |
1085 | | static const tableentry vcodes[7] = { |
1086 | | {7, 0x03, 0}, /* 0000 011 */ |
1087 | | {6, 0x03, 0}, /* 0000 11 */ |
1088 | | {3, 0x03, 0}, /* 011 */ |
1089 | | {1, 0x1, 0}, /* 1 */ |
1090 | | {3, 0x2, 0}, /* 010 */ |
1091 | | {6, 0x02, 0}, /* 0000 10 */ |
1092 | | {7, 0x02, 0} /* 0000 010 */ |
1093 | | }; |
1094 | | |
1095 | | /* |
1096 | | * 2d-encode a row of pixels. Consult the CCITT |
1097 | | * documentation for the algorithm. |
1098 | | */ |
1099 | | static int Fax3Encode2DRow(TIFF *tif, unsigned char *bp, unsigned char *rp, |
1100 | | uint32_t bits) |
1101 | 0 | { |
1102 | 0 | #define PIXEL(buf, ix) ((((buf)[(ix) >> 3]) >> (7 - ((ix)&7))) & 1) |
1103 | 0 | uint32_t a0 = 0; |
1104 | 0 | uint32_t a1 = (PIXEL(bp, 0) != 0 ? 0 : finddiff(bp, 0, bits, 0)); |
1105 | 0 | uint32_t b1 = (PIXEL(rp, 0) != 0 ? 0 : finddiff(rp, 0, bits, 0)); |
1106 | 0 | uint32_t a2, b2; |
1107 | |
|
1108 | 0 | for (;;) |
1109 | 0 | { |
1110 | 0 | b2 = finddiff2(rp, b1, bits, PIXEL(rp, b1)); |
1111 | 0 | if (b2 >= a1) |
1112 | 0 | { |
1113 | | /* Naive computation triggers |
1114 | | * -fsanitize=undefined,unsigned-integer-overflow */ |
1115 | | /* although it is correct unless the difference between both is < 31 |
1116 | | * bit */ |
1117 | | /* int32_t d = b1 - a1; */ |
1118 | 0 | int32_t d = (b1 >= a1 && b1 - a1 <= 3U) ? (int32_t)(b1 - a1) |
1119 | 0 | : (b1 < a1 && a1 - b1 <= 3U) ? -(int32_t)(a1 - b1) |
1120 | 0 | : 0x7FFFFFFF; |
1121 | 0 | if (!(-3 <= d && d <= 3)) |
1122 | 0 | { /* horizontal mode */ |
1123 | 0 | a2 = finddiff2(bp, a1, bits, PIXEL(bp, a1)); |
1124 | 0 | if (!putcode(tif, &horizcode)) |
1125 | 0 | return 0; |
1126 | 0 | if (a0 + a1 == 0 || PIXEL(bp, a0) == 0) |
1127 | 0 | { |
1128 | 0 | if (!putspan(tif, a1 - a0, TIFFFaxWhiteCodes)) |
1129 | 0 | return 0; |
1130 | 0 | if (!putspan(tif, a2 - a1, TIFFFaxBlackCodes)) |
1131 | 0 | return 0; |
1132 | 0 | } |
1133 | 0 | else |
1134 | 0 | { |
1135 | 0 | if (!putspan(tif, a1 - a0, TIFFFaxBlackCodes)) |
1136 | 0 | return 0; |
1137 | 0 | if (!putspan(tif, a2 - a1, TIFFFaxWhiteCodes)) |
1138 | 0 | return 0; |
1139 | 0 | } |
1140 | 0 | a0 = a2; |
1141 | 0 | } |
1142 | 0 | else |
1143 | 0 | { /* vertical mode */ |
1144 | 0 | if (!putcode(tif, &vcodes[d + 3])) |
1145 | 0 | return 0; |
1146 | 0 | a0 = a1; |
1147 | 0 | } |
1148 | 0 | } |
1149 | 0 | else |
1150 | 0 | { /* pass mode */ |
1151 | 0 | if (!putcode(tif, &passcode)) |
1152 | 0 | return 0; |
1153 | 0 | a0 = b2; |
1154 | 0 | } |
1155 | 0 | if (a0 >= bits) |
1156 | 0 | break; |
1157 | 0 | a1 = finddiff(bp, a0, bits, PIXEL(bp, a0)); |
1158 | 0 | b1 = finddiff(rp, a0, bits, !PIXEL(bp, a0)); |
1159 | 0 | b1 = finddiff(rp, b1, bits, PIXEL(bp, a0)); |
1160 | 0 | } |
1161 | 0 | return (1); |
1162 | 0 | #undef PIXEL |
1163 | 0 | } |
1164 | | |
1165 | | /* |
1166 | | * Encode a buffer of pixels. |
1167 | | */ |
1168 | | static int Fax3Encode(TIFF *tif, uint8_t *bp, tmsize_t cc, uint16_t s) |
1169 | 0 | { |
1170 | 0 | static const char module[] = "Fax3Encode"; |
1171 | 0 | Fax3CodecState *sp = EncoderState(tif); |
1172 | 0 | (void)s; |
1173 | 0 | if (cc % sp->b.rowbytes) |
1174 | 0 | { |
1175 | 0 | TIFFErrorExtR(tif, module, "Fractional scanlines cannot be written"); |
1176 | 0 | return (0); |
1177 | 0 | } |
1178 | 0 | while (cc > 0) |
1179 | 0 | { |
1180 | 0 | if ((sp->b.mode & FAXMODE_NOEOL) == 0) |
1181 | 0 | { |
1182 | 0 | if (!Fax3PutEOL(tif)) |
1183 | 0 | return 0; |
1184 | 0 | } |
1185 | 0 | if (is2DEncoding(sp)) |
1186 | 0 | { |
1187 | 0 | if (sp->tag == G3_1D) |
1188 | 0 | { |
1189 | 0 | if (!Fax3Encode1DRow(tif, bp, sp->b.rowpixels)) |
1190 | 0 | return (0); |
1191 | 0 | sp->tag = G3_2D; |
1192 | 0 | } |
1193 | 0 | else |
1194 | 0 | { |
1195 | 0 | if (!Fax3Encode2DRow(tif, bp, sp->refline, sp->b.rowpixels)) |
1196 | 0 | return (0); |
1197 | 0 | sp->k--; |
1198 | 0 | } |
1199 | 0 | if (sp->k == 0) |
1200 | 0 | { |
1201 | 0 | sp->tag = G3_1D; |
1202 | 0 | sp->k = sp->maxk - 1; |
1203 | 0 | } |
1204 | 0 | else |
1205 | 0 | _TIFFmemcpy(sp->refline, bp, sp->b.rowbytes); |
1206 | 0 | } |
1207 | 0 | else |
1208 | 0 | { |
1209 | 0 | if (!Fax3Encode1DRow(tif, bp, sp->b.rowpixels)) |
1210 | 0 | return (0); |
1211 | 0 | } |
1212 | 0 | bp += sp->b.rowbytes; |
1213 | 0 | cc -= sp->b.rowbytes; |
1214 | 0 | } |
1215 | 0 | return (1); |
1216 | 0 | } |
1217 | | |
1218 | | static int Fax3PostEncode(TIFF *tif) |
1219 | 0 | { |
1220 | 0 | Fax3CodecState *sp = EncoderState(tif); |
1221 | |
|
1222 | 0 | if (sp->bit != 8) |
1223 | 0 | Fax3FlushBits(tif, sp); |
1224 | 0 | return (1); |
1225 | 0 | } |
1226 | | |
1227 | | static int _Fax3Close(TIFF *tif) |
1228 | 0 | { |
1229 | 0 | if ((Fax3State(tif)->mode & FAXMODE_NORTC) == 0 && tif->tif_rawcp) |
1230 | 0 | { |
1231 | 0 | Fax3CodecState *sp = EncoderState(tif); |
1232 | 0 | unsigned int code = EOL; |
1233 | 0 | unsigned int length = 12; |
1234 | 0 | int i; |
1235 | |
|
1236 | 0 | if (is2DEncoding(sp)) |
1237 | 0 | { |
1238 | 0 | code = (code << 1) | (sp->tag == G3_1D); |
1239 | 0 | length++; |
1240 | 0 | } |
1241 | 0 | for (i = 0; i < 6; i++) |
1242 | 0 | Fax3PutBits(tif, code, length); |
1243 | 0 | Fax3FlushBits(tif, sp); |
1244 | 0 | } |
1245 | 0 | return 1; |
1246 | 0 | } |
1247 | | |
1248 | 0 | static void Fax3Close(TIFF *tif) { _Fax3Close(tif); } |
1249 | | |
1250 | | static void Fax3Cleanup(TIFF *tif) |
1251 | 0 | { |
1252 | 0 | Fax3CodecState *sp = DecoderState(tif); |
1253 | |
|
1254 | 0 | assert(sp != 0); |
1255 | | |
1256 | 0 | tif->tif_tagmethods.vgetfield = sp->b.vgetparent; |
1257 | 0 | tif->tif_tagmethods.vsetfield = sp->b.vsetparent; |
1258 | 0 | tif->tif_tagmethods.printdir = sp->b.printdir; |
1259 | |
|
1260 | 0 | if (sp->runs) |
1261 | 0 | _TIFFfreeExt(tif, sp->runs); |
1262 | 0 | if (sp->refline) |
1263 | 0 | _TIFFfreeExt(tif, sp->refline); |
1264 | |
|
1265 | 0 | _TIFFfreeExt(tif, tif->tif_data); |
1266 | 0 | tif->tif_data = NULL; |
1267 | |
|
1268 | 0 | _TIFFSetDefaultCompressionState(tif); |
1269 | 0 | } |
1270 | | |
1271 | | #define FIELD_BADFAXLINES (FIELD_CODEC + 0) |
1272 | | #define FIELD_CLEANFAXDATA (FIELD_CODEC + 1) |
1273 | | #define FIELD_BADFAXRUN (FIELD_CODEC + 2) |
1274 | | |
1275 | | #define FIELD_OPTIONS (FIELD_CODEC + 7) |
1276 | | |
1277 | | static const TIFFField faxFields[] = { |
1278 | | {TIFFTAG_FAXMODE, 0, 0, TIFF_ANY, 0, TIFF_SETGET_INT, TIFF_SETGET_UNDEFINED, |
1279 | | FIELD_PSEUDO, FALSE, FALSE, "FaxMode", NULL}, |
1280 | | {TIFFTAG_FAXFILLFUNC, 0, 0, TIFF_ANY, 0, TIFF_SETGET_OTHER, |
1281 | | TIFF_SETGET_UNDEFINED, FIELD_PSEUDO, FALSE, FALSE, "FaxFillFunc", NULL}, |
1282 | | {TIFFTAG_BADFAXLINES, 1, 1, TIFF_LONG, 0, TIFF_SETGET_UINT32, |
1283 | | TIFF_SETGET_UINT32, FIELD_BADFAXLINES, TRUE, FALSE, "BadFaxLines", NULL}, |
1284 | | {TIFFTAG_CLEANFAXDATA, 1, 1, TIFF_SHORT, 0, TIFF_SETGET_UINT16, |
1285 | | TIFF_SETGET_UINT16, FIELD_CLEANFAXDATA, TRUE, FALSE, "CleanFaxData", NULL}, |
1286 | | {TIFFTAG_CONSECUTIVEBADFAXLINES, 1, 1, TIFF_LONG, 0, TIFF_SETGET_UINT32, |
1287 | | TIFF_SETGET_UINT32, FIELD_BADFAXRUN, TRUE, FALSE, "ConsecutiveBadFaxLines", |
1288 | | NULL}}; |
1289 | | static const TIFFField fax3Fields[] = { |
1290 | | {TIFFTAG_GROUP3OPTIONS, 1, 1, TIFF_LONG, 0, TIFF_SETGET_UINT32, |
1291 | | TIFF_SETGET_UINT32, FIELD_OPTIONS, FALSE, FALSE, "Group3Options", NULL}, |
1292 | | }; |
1293 | | static const TIFFField fax4Fields[] = { |
1294 | | {TIFFTAG_GROUP4OPTIONS, 1, 1, TIFF_LONG, 0, TIFF_SETGET_UINT32, |
1295 | | TIFF_SETGET_UINT32, FIELD_OPTIONS, FALSE, FALSE, "Group4Options", NULL}, |
1296 | | }; |
1297 | | |
1298 | | static int Fax3VSetField(TIFF *tif, uint32_t tag, va_list ap) |
1299 | 0 | { |
1300 | 0 | Fax3BaseState *sp = Fax3State(tif); |
1301 | 0 | const TIFFField *fip; |
1302 | |
|
1303 | 0 | assert(sp != 0); |
1304 | 0 | assert(sp->vsetparent != 0); |
1305 | | |
1306 | 0 | switch (tag) |
1307 | 0 | { |
1308 | 0 | case TIFFTAG_FAXMODE: |
1309 | 0 | sp->mode = (int)va_arg(ap, int); |
1310 | 0 | return 1; /* NB: pseudo tag */ |
1311 | 0 | case TIFFTAG_FAXFILLFUNC: |
1312 | 0 | DecoderState(tif)->fill = va_arg(ap, TIFFFaxFillFunc); |
1313 | 0 | return 1; /* NB: pseudo tag */ |
1314 | 0 | case TIFFTAG_GROUP3OPTIONS: |
1315 | | /* XXX: avoid reading options if compression mismatches. */ |
1316 | 0 | if (tif->tif_dir.td_compression == COMPRESSION_CCITTFAX3) |
1317 | 0 | sp->groupoptions = (uint32_t)va_arg(ap, uint32_t); |
1318 | 0 | break; |
1319 | 0 | case TIFFTAG_GROUP4OPTIONS: |
1320 | | /* XXX: avoid reading options if compression mismatches. */ |
1321 | 0 | if (tif->tif_dir.td_compression == COMPRESSION_CCITTFAX4) |
1322 | 0 | sp->groupoptions = (uint32_t)va_arg(ap, uint32_t); |
1323 | 0 | break; |
1324 | 0 | case TIFFTAG_BADFAXLINES: |
1325 | 0 | sp->badfaxlines = (uint32_t)va_arg(ap, uint32_t); |
1326 | 0 | break; |
1327 | 0 | case TIFFTAG_CLEANFAXDATA: |
1328 | 0 | sp->cleanfaxdata = (uint16_t)va_arg(ap, uint16_vap); |
1329 | 0 | break; |
1330 | 0 | case TIFFTAG_CONSECUTIVEBADFAXLINES: |
1331 | 0 | sp->badfaxrun = (uint32_t)va_arg(ap, uint32_t); |
1332 | 0 | break; |
1333 | 0 | default: |
1334 | 0 | return (*sp->vsetparent)(tif, tag, ap); |
1335 | 0 | } |
1336 | | |
1337 | 0 | if ((fip = TIFFFieldWithTag(tif, tag)) != NULL) |
1338 | 0 | TIFFSetFieldBit(tif, fip->field_bit); |
1339 | 0 | else |
1340 | 0 | return 0; |
1341 | | |
1342 | 0 | tif->tif_flags |= TIFF_DIRTYDIRECT; |
1343 | 0 | return 1; |
1344 | 0 | } |
1345 | | |
1346 | | static int Fax3VGetField(TIFF *tif, uint32_t tag, va_list ap) |
1347 | 0 | { |
1348 | 0 | Fax3BaseState *sp = Fax3State(tif); |
1349 | |
|
1350 | 0 | assert(sp != 0); |
1351 | | |
1352 | 0 | switch (tag) |
1353 | 0 | { |
1354 | 0 | case TIFFTAG_FAXMODE: |
1355 | 0 | *va_arg(ap, int *) = sp->mode; |
1356 | 0 | break; |
1357 | 0 | case TIFFTAG_FAXFILLFUNC: |
1358 | 0 | *va_arg(ap, TIFFFaxFillFunc *) = DecoderState(tif)->fill; |
1359 | 0 | break; |
1360 | 0 | case TIFFTAG_GROUP3OPTIONS: |
1361 | 0 | case TIFFTAG_GROUP4OPTIONS: |
1362 | 0 | *va_arg(ap, uint32_t *) = sp->groupoptions; |
1363 | 0 | break; |
1364 | 0 | case TIFFTAG_BADFAXLINES: |
1365 | 0 | *va_arg(ap, uint32_t *) = sp->badfaxlines; |
1366 | 0 | break; |
1367 | 0 | case TIFFTAG_CLEANFAXDATA: |
1368 | 0 | *va_arg(ap, uint16_t *) = sp->cleanfaxdata; |
1369 | 0 | break; |
1370 | 0 | case TIFFTAG_CONSECUTIVEBADFAXLINES: |
1371 | 0 | *va_arg(ap, uint32_t *) = sp->badfaxrun; |
1372 | 0 | break; |
1373 | 0 | default: |
1374 | 0 | return (*sp->vgetparent)(tif, tag, ap); |
1375 | 0 | } |
1376 | 0 | return (1); |
1377 | 0 | } |
1378 | | |
1379 | | static void Fax3PrintDir(TIFF *tif, FILE *fd, long flags) |
1380 | 0 | { |
1381 | 0 | Fax3BaseState *sp = Fax3State(tif); |
1382 | |
|
1383 | 0 | assert(sp != 0); |
1384 | | |
1385 | 0 | (void)flags; |
1386 | 0 | if (TIFFFieldSet(tif, FIELD_OPTIONS)) |
1387 | 0 | { |
1388 | 0 | const char *sep = " "; |
1389 | 0 | if (tif->tif_dir.td_compression == COMPRESSION_CCITTFAX4) |
1390 | 0 | { |
1391 | 0 | fprintf(fd, " Group 4 Options:"); |
1392 | 0 | if (sp->groupoptions & GROUP4OPT_UNCOMPRESSED) |
1393 | 0 | fprintf(fd, "%suncompressed data", sep); |
1394 | 0 | } |
1395 | 0 | else |
1396 | 0 | { |
1397 | |
|
1398 | 0 | fprintf(fd, " Group 3 Options:"); |
1399 | 0 | if (sp->groupoptions & GROUP3OPT_2DENCODING) |
1400 | 0 | { |
1401 | 0 | fprintf(fd, "%s2-d encoding", sep); |
1402 | 0 | sep = "+"; |
1403 | 0 | } |
1404 | 0 | if (sp->groupoptions & GROUP3OPT_FILLBITS) |
1405 | 0 | { |
1406 | 0 | fprintf(fd, "%sEOL padding", sep); |
1407 | 0 | sep = "+"; |
1408 | 0 | } |
1409 | 0 | if (sp->groupoptions & GROUP3OPT_UNCOMPRESSED) |
1410 | 0 | fprintf(fd, "%suncompressed data", sep); |
1411 | 0 | } |
1412 | 0 | fprintf(fd, " (%" PRIu32 " = 0x%" PRIx32 ")\n", sp->groupoptions, |
1413 | 0 | sp->groupoptions); |
1414 | 0 | } |
1415 | 0 | if (TIFFFieldSet(tif, FIELD_CLEANFAXDATA)) |
1416 | 0 | { |
1417 | 0 | fprintf(fd, " Fax Data:"); |
1418 | 0 | switch (sp->cleanfaxdata) |
1419 | 0 | { |
1420 | 0 | case CLEANFAXDATA_CLEAN: |
1421 | 0 | fprintf(fd, " clean"); |
1422 | 0 | break; |
1423 | 0 | case CLEANFAXDATA_REGENERATED: |
1424 | 0 | fprintf(fd, " receiver regenerated"); |
1425 | 0 | break; |
1426 | 0 | case CLEANFAXDATA_UNCLEAN: |
1427 | 0 | fprintf(fd, " uncorrected errors"); |
1428 | 0 | break; |
1429 | 0 | } |
1430 | 0 | fprintf(fd, " (%" PRIu16 " = 0x%" PRIx16 ")\n", sp->cleanfaxdata, |
1431 | 0 | sp->cleanfaxdata); |
1432 | 0 | } |
1433 | 0 | if (TIFFFieldSet(tif, FIELD_BADFAXLINES)) |
1434 | 0 | fprintf(fd, " Bad Fax Lines: %" PRIu32 "\n", sp->badfaxlines); |
1435 | 0 | if (TIFFFieldSet(tif, FIELD_BADFAXRUN)) |
1436 | 0 | fprintf(fd, " Consecutive Bad Fax Lines: %" PRIu32 "\n", |
1437 | 0 | sp->badfaxrun); |
1438 | 0 | if (sp->printdir) |
1439 | 0 | (*sp->printdir)(tif, fd, flags); |
1440 | 0 | } |
1441 | | |
1442 | | static int InitCCITTFax3(TIFF *tif) |
1443 | 0 | { |
1444 | 0 | static const char module[] = "InitCCITTFax3"; |
1445 | 0 | Fax3BaseState *sp; |
1446 | | |
1447 | | /* |
1448 | | * Merge codec-specific tag information. |
1449 | | */ |
1450 | 0 | if (!_TIFFMergeFields(tif, faxFields, TIFFArrayCount(faxFields))) |
1451 | 0 | { |
1452 | 0 | TIFFErrorExtR(tif, "InitCCITTFax3", |
1453 | 0 | "Merging common CCITT Fax codec-specific tags failed"); |
1454 | 0 | return 0; |
1455 | 0 | } |
1456 | | |
1457 | | /* |
1458 | | * Allocate state block so tag methods have storage to record values. |
1459 | | */ |
1460 | 0 | tif->tif_data = (uint8_t *)_TIFFmallocExt(tif, sizeof(Fax3CodecState)); |
1461 | |
|
1462 | 0 | if (tif->tif_data == NULL) |
1463 | 0 | { |
1464 | 0 | TIFFErrorExtR(tif, module, "No space for state block"); |
1465 | 0 | return (0); |
1466 | 0 | } |
1467 | 0 | _TIFFmemset(tif->tif_data, 0, sizeof(Fax3CodecState)); |
1468 | |
|
1469 | 0 | sp = Fax3State(tif); |
1470 | 0 | sp->rw_mode = tif->tif_mode; |
1471 | | |
1472 | | /* |
1473 | | * Override parent get/set field methods. |
1474 | | */ |
1475 | 0 | sp->vgetparent = tif->tif_tagmethods.vgetfield; |
1476 | 0 | tif->tif_tagmethods.vgetfield = Fax3VGetField; /* hook for codec tags */ |
1477 | 0 | sp->vsetparent = tif->tif_tagmethods.vsetfield; |
1478 | 0 | tif->tif_tagmethods.vsetfield = Fax3VSetField; /* hook for codec tags */ |
1479 | 0 | sp->printdir = tif->tif_tagmethods.printdir; |
1480 | 0 | tif->tif_tagmethods.printdir = Fax3PrintDir; /* hook for codec tags */ |
1481 | 0 | sp->groupoptions = 0; |
1482 | |
|
1483 | 0 | if (sp->rw_mode == O_RDONLY) /* FIXME: improve for in place update */ |
1484 | 0 | tif->tif_flags |= TIFF_NOBITREV; /* decoder does bit reversal */ |
1485 | 0 | DecoderState(tif)->runs = NULL; |
1486 | 0 | TIFFSetField(tif, TIFFTAG_FAXFILLFUNC, _TIFFFax3fillruns); |
1487 | 0 | EncoderState(tif)->refline = NULL; |
1488 | | |
1489 | | /* |
1490 | | * Install codec methods. |
1491 | | */ |
1492 | 0 | tif->tif_fixuptags = Fax3FixupTags; |
1493 | 0 | tif->tif_setupdecode = Fax3SetupState; |
1494 | 0 | tif->tif_predecode = Fax3PreDecode; |
1495 | 0 | tif->tif_decoderow = Fax3Decode1D; |
1496 | 0 | tif->tif_decodestrip = Fax3Decode1D; |
1497 | 0 | tif->tif_decodetile = Fax3Decode1D; |
1498 | 0 | tif->tif_setupencode = Fax3SetupState; |
1499 | 0 | tif->tif_preencode = Fax3PreEncode; |
1500 | 0 | tif->tif_postencode = Fax3PostEncode; |
1501 | 0 | tif->tif_encoderow = Fax3Encode; |
1502 | 0 | tif->tif_encodestrip = Fax3Encode; |
1503 | 0 | tif->tif_encodetile = Fax3Encode; |
1504 | 0 | tif->tif_close = Fax3Close; |
1505 | 0 | tif->tif_cleanup = Fax3Cleanup; |
1506 | |
|
1507 | 0 | return (1); |
1508 | 0 | } |
1509 | | |
1510 | | int TIFFInitCCITTFax3(TIFF *tif, int scheme) |
1511 | 0 | { |
1512 | 0 | (void)scheme; |
1513 | 0 | if (InitCCITTFax3(tif)) |
1514 | 0 | { |
1515 | | /* |
1516 | | * Merge codec-specific tag information. |
1517 | | */ |
1518 | 0 | if (!_TIFFMergeFields(tif, fax3Fields, TIFFArrayCount(fax3Fields))) |
1519 | 0 | { |
1520 | 0 | TIFFErrorExtR(tif, "TIFFInitCCITTFax3", |
1521 | 0 | "Merging CCITT Fax 3 codec-specific tags failed"); |
1522 | 0 | return 0; |
1523 | 0 | } |
1524 | | |
1525 | | /* |
1526 | | * The default format is Class/F-style w/o RTC. |
1527 | | */ |
1528 | 0 | return TIFFSetField(tif, TIFFTAG_FAXMODE, FAXMODE_CLASSF); |
1529 | 0 | } |
1530 | 0 | else |
1531 | 0 | return 01; |
1532 | 0 | } |
1533 | | |
1534 | | /* |
1535 | | * CCITT Group 4 (T.6) Facsimile-compatible |
1536 | | * Compression Scheme Support. |
1537 | | */ |
1538 | | |
1539 | | #define SWAP(t, a, b) \ |
1540 | 0 | { \ |
1541 | 0 | t x; \ |
1542 | 0 | x = (a); \ |
1543 | 0 | (a) = (b); \ |
1544 | 0 | (b) = x; \ |
1545 | 0 | } |
1546 | | /* |
1547 | | * Decode the requested amount of G4-encoded data. |
1548 | | */ |
1549 | | static int Fax4Decode(TIFF *tif, uint8_t *buf, tmsize_t occ, uint16_t s) |
1550 | 0 | { |
1551 | 0 | DECLARE_STATE_2D(tif, sp, "Fax4Decode"); |
1552 | 0 | (void)s; |
1553 | 0 | if (occ % sp->b.rowbytes) |
1554 | 0 | { |
1555 | 0 | TIFFErrorExtR(tif, module, "Fractional scanlines cannot be read"); |
1556 | 0 | return (-1); |
1557 | 0 | } |
1558 | 0 | if (sp->eofReachedCount >= EOF_REACHED_COUNT_THRESHOLD) |
1559 | 0 | { |
1560 | 0 | TIFFErrorExtR( |
1561 | 0 | tif, module, |
1562 | 0 | "End of file has already been reached %d times within that strip", |
1563 | 0 | sp->eofReachedCount); |
1564 | 0 | return (-1); |
1565 | 0 | } |
1566 | 0 | CACHE_STATE(tif, sp); |
1567 | 0 | int start = sp->line; |
1568 | 0 | while (occ > 0) |
1569 | 0 | { |
1570 | 0 | a0 = 0; |
1571 | 0 | RunLength = 0; |
1572 | 0 | pa = thisrun = sp->curruns; |
1573 | 0 | pb = sp->refruns; |
1574 | 0 | b1 = *pb++; |
1575 | | #ifdef FAX3_DEBUG |
1576 | | printf("\nBitAcc=%08" PRIX32 ", BitsAvail = %d\n", BitAcc, BitsAvail); |
1577 | | printf("-------------------- %d\n", tif->tif_row); |
1578 | | fflush(stdout); |
1579 | | #endif |
1580 | 0 | EXPAND2D(EOFG4); |
1581 | 0 | if (EOLcnt) |
1582 | 0 | goto EOFG4; |
1583 | 0 | if (((lastx + 7) >> 3) > (int)occ) /* check for buffer overrun */ |
1584 | 0 | { |
1585 | 0 | TIFFErrorExtR(tif, module, |
1586 | 0 | "Buffer overrun detected : %" TIFF_SSIZE_FORMAT |
1587 | 0 | " bytes available, %d bits needed", |
1588 | 0 | occ, lastx); |
1589 | 0 | return -1; |
1590 | 0 | } |
1591 | 0 | (*sp->fill)(buf, thisrun, pa, lastx); |
1592 | 0 | SETVALUE(0); /* imaginary change for reference */ |
1593 | 0 | SWAP(uint32_t *, sp->curruns, sp->refruns); |
1594 | 0 | buf += sp->b.rowbytes; |
1595 | 0 | occ -= sp->b.rowbytes; |
1596 | 0 | sp->line++; |
1597 | 0 | continue; |
1598 | 0 | EOFG4: |
1599 | 0 | NeedBits16(13, BADG4); |
1600 | 0 | BADG4: |
1601 | | #ifdef FAX3_DEBUG |
1602 | | if (GetBits(13) != 0x1001) |
1603 | | fputs("Bad EOFB\n", stderr); |
1604 | | #endif |
1605 | 0 | ClrBits(13); |
1606 | 0 | if (((lastx + 7) >> 3) > (int)occ) /* check for buffer overrun */ |
1607 | 0 | { |
1608 | 0 | TIFFErrorExtR(tif, module, |
1609 | 0 | "Buffer overrun detected : %" TIFF_SSIZE_FORMAT |
1610 | 0 | " bytes available, %d bits needed", |
1611 | 0 | occ, lastx); |
1612 | 0 | return -1; |
1613 | 0 | } |
1614 | 0 | (*sp->fill)(buf, thisrun, pa, lastx); |
1615 | 0 | UNCACHE_STATE(tif, sp); |
1616 | 0 | return (sp->line != start |
1617 | 0 | ? 1 |
1618 | 0 | : -1); /* don't error on badly-terminated strips */ |
1619 | 0 | } |
1620 | 0 | UNCACHE_STATE(tif, sp); |
1621 | 0 | return (1); |
1622 | 0 | } |
1623 | | #undef SWAP |
1624 | | |
1625 | | /* |
1626 | | * Encode the requested amount of data. |
1627 | | */ |
1628 | | static int Fax4Encode(TIFF *tif, uint8_t *bp, tmsize_t cc, uint16_t s) |
1629 | 0 | { |
1630 | 0 | static const char module[] = "Fax4Encode"; |
1631 | 0 | Fax3CodecState *sp = EncoderState(tif); |
1632 | 0 | (void)s; |
1633 | 0 | if (cc % sp->b.rowbytes) |
1634 | 0 | { |
1635 | 0 | TIFFErrorExtR(tif, module, "Fractional scanlines cannot be written"); |
1636 | 0 | return (0); |
1637 | 0 | } |
1638 | 0 | while (cc > 0) |
1639 | 0 | { |
1640 | 0 | if (!Fax3Encode2DRow(tif, bp, sp->refline, sp->b.rowpixels)) |
1641 | 0 | return (0); |
1642 | 0 | _TIFFmemcpy(sp->refline, bp, sp->b.rowbytes); |
1643 | 0 | bp += sp->b.rowbytes; |
1644 | 0 | cc -= sp->b.rowbytes; |
1645 | 0 | } |
1646 | 0 | return (1); |
1647 | 0 | } |
1648 | | |
1649 | | static int Fax4PostEncode(TIFF *tif) |
1650 | 0 | { |
1651 | 0 | Fax3CodecState *sp = EncoderState(tif); |
1652 | | |
1653 | | /* terminate strip w/ EOFB */ |
1654 | 0 | Fax3PutBits(tif, EOL, 12); |
1655 | 0 | Fax3PutBits(tif, EOL, 12); |
1656 | 0 | if (sp->bit != 8) |
1657 | 0 | Fax3FlushBits(tif, sp); |
1658 | 0 | return (1); |
1659 | 0 | } |
1660 | | |
1661 | | int TIFFInitCCITTFax4(TIFF *tif, int scheme) |
1662 | 0 | { |
1663 | 0 | (void)scheme; |
1664 | 0 | if (InitCCITTFax3(tif)) |
1665 | 0 | { /* reuse G3 support */ |
1666 | | /* |
1667 | | * Merge codec-specific tag information. |
1668 | | */ |
1669 | 0 | if (!_TIFFMergeFields(tif, fax4Fields, TIFFArrayCount(fax4Fields))) |
1670 | 0 | { |
1671 | 0 | TIFFErrorExtR(tif, "TIFFInitCCITTFax4", |
1672 | 0 | "Merging CCITT Fax 4 codec-specific tags failed"); |
1673 | 0 | return 0; |
1674 | 0 | } |
1675 | | |
1676 | 0 | tif->tif_decoderow = Fax4Decode; |
1677 | 0 | tif->tif_decodestrip = Fax4Decode; |
1678 | 0 | tif->tif_decodetile = Fax4Decode; |
1679 | 0 | tif->tif_encoderow = Fax4Encode; |
1680 | 0 | tif->tif_encodestrip = Fax4Encode; |
1681 | 0 | tif->tif_encodetile = Fax4Encode; |
1682 | 0 | tif->tif_postencode = Fax4PostEncode; |
1683 | | /* |
1684 | | * Suppress RTC at the end of each strip. |
1685 | | */ |
1686 | 0 | return TIFFSetField(tif, TIFFTAG_FAXMODE, FAXMODE_NORTC); |
1687 | 0 | } |
1688 | 0 | else |
1689 | 0 | return (0); |
1690 | 0 | } |
1691 | | |
1692 | | /* |
1693 | | * CCITT Group 3 1-D Modified Huffman RLE Compression Support. |
1694 | | * (Compression algorithms 2 and 32771) |
1695 | | */ |
1696 | | |
1697 | | /* |
1698 | | * Decode the requested amount of RLE-encoded data. |
1699 | | */ |
1700 | | static int Fax3DecodeRLE(TIFF *tif, uint8_t *buf, tmsize_t occ, uint16_t s) |
1701 | 0 | { |
1702 | 0 | DECLARE_STATE(tif, sp, "Fax3DecodeRLE"); |
1703 | 0 | int mode = sp->b.mode; |
1704 | 0 | (void)s; |
1705 | 0 | if (occ % sp->b.rowbytes) |
1706 | 0 | { |
1707 | 0 | TIFFErrorExtR(tif, module, "Fractional scanlines cannot be read"); |
1708 | 0 | return (-1); |
1709 | 0 | } |
1710 | 0 | CACHE_STATE(tif, sp); |
1711 | 0 | thisrun = sp->curruns; |
1712 | 0 | while (occ > 0) |
1713 | 0 | { |
1714 | 0 | a0 = 0; |
1715 | 0 | RunLength = 0; |
1716 | 0 | pa = thisrun; |
1717 | | #ifdef FAX3_DEBUG |
1718 | | printf("\nBitAcc=%08" PRIX32 ", BitsAvail = %d\n", BitAcc, BitsAvail); |
1719 | | printf("-------------------- %" PRIu32 "\n", tif->tif_row); |
1720 | | fflush(stdout); |
1721 | | #endif |
1722 | 0 | EXPAND1D(EOFRLE); |
1723 | 0 | (*sp->fill)(buf, thisrun, pa, lastx); |
1724 | | /* |
1725 | | * Cleanup at the end of the row. |
1726 | | */ |
1727 | 0 | if (mode & FAXMODE_BYTEALIGN) |
1728 | 0 | { |
1729 | 0 | int n = BitsAvail - (BitsAvail & ~7); |
1730 | 0 | ClrBits(n); |
1731 | 0 | } |
1732 | 0 | else if (mode & FAXMODE_WORDALIGN) |
1733 | 0 | { |
1734 | 0 | int n = BitsAvail - (BitsAvail & ~15); |
1735 | 0 | ClrBits(n); |
1736 | 0 | if (BitsAvail == 0 && !isAligned(cp, uint16_t)) |
1737 | 0 | cp++; |
1738 | 0 | } |
1739 | 0 | buf += sp->b.rowbytes; |
1740 | 0 | occ -= sp->b.rowbytes; |
1741 | 0 | sp->line++; |
1742 | 0 | continue; |
1743 | 0 | EOFRLE: /* premature EOF */ |
1744 | 0 | (*sp->fill)(buf, thisrun, pa, lastx); |
1745 | 0 | UNCACHE_STATE(tif, sp); |
1746 | 0 | return (-1); |
1747 | 0 | } |
1748 | 0 | UNCACHE_STATE(tif, sp); |
1749 | 0 | return (1); |
1750 | 0 | } |
1751 | | |
1752 | | int TIFFInitCCITTRLE(TIFF *tif, int scheme) |
1753 | 0 | { |
1754 | 0 | (void)scheme; |
1755 | 0 | if (InitCCITTFax3(tif)) |
1756 | 0 | { /* reuse G3 support */ |
1757 | 0 | tif->tif_decoderow = Fax3DecodeRLE; |
1758 | 0 | tif->tif_decodestrip = Fax3DecodeRLE; |
1759 | 0 | tif->tif_decodetile = Fax3DecodeRLE; |
1760 | | /* |
1761 | | * Suppress RTC+EOLs when encoding and byte-align data. |
1762 | | */ |
1763 | 0 | return TIFFSetField(tif, TIFFTAG_FAXMODE, |
1764 | 0 | FAXMODE_NORTC | FAXMODE_NOEOL | FAXMODE_BYTEALIGN); |
1765 | 0 | } |
1766 | 0 | else |
1767 | 0 | return (0); |
1768 | 0 | } |
1769 | | |
1770 | | int TIFFInitCCITTRLEW(TIFF *tif, int scheme) |
1771 | 0 | { |
1772 | 0 | (void)scheme; |
1773 | 0 | if (InitCCITTFax3(tif)) |
1774 | 0 | { /* reuse G3 support */ |
1775 | 0 | tif->tif_decoderow = Fax3DecodeRLE; |
1776 | 0 | tif->tif_decodestrip = Fax3DecodeRLE; |
1777 | 0 | tif->tif_decodetile = Fax3DecodeRLE; |
1778 | | /* |
1779 | | * Suppress RTC+EOLs when encoding and word-align data. |
1780 | | */ |
1781 | 0 | return TIFFSetField(tif, TIFFTAG_FAXMODE, |
1782 | 0 | FAXMODE_NORTC | FAXMODE_NOEOL | FAXMODE_WORDALIGN); |
1783 | 0 | } |
1784 | 0 | else |
1785 | 0 | return (0); |
1786 | 0 | } |
1787 | | #endif /* CCITT_SUPPORT */ |