| Commit message (Expand) | Author | Age | Files | Lines |
* | PhotoRec: src/file_tiff* - improve Frama-C annotations | Christophe Grenier | 2024-01-07 | 1 | -0/+1 |
* | src/file_tiff*.[ch]: Fix Frama-C warnings | Christophe Grenier | 2021-07-25 | 1 | -1/+1 |
* | file_*.c: add various Frama-C annotations | Christophe Grenier | 2021-04-10 | 1 | -2/+2 |
* | src/file_orf.c: add frama-c annotations | Christophe Grenier | 2021-02-26 | 1 | -2/+3 |
* | Fix "make frama-c-fidentify-rw2" | Christophe Grenier | 2020-10-11 | 1 | -2/+2 |
* | src/file_tiff*: better frama-c annotations, free memory in reverse order | Christophe Grenier | 2020-09-06 | 1 | -2/+4 |
* | PhotoRec: recover TIFF up to 1 GB (Previous limit was 100 MB) | Christophe Grenier | 2020-04-22 | 1 | -1/+1 |
* | src/file_jpg.c: make most code frama-c friendly, file_tiff* modified to help | Christophe Grenier | 2019-11-23 | 1 | -2/+7 |
* | src/file_jpg.c: make code more frama-c friendly, file_tiff* modified to | Christophe Grenier | 2019-11-17 | 1 | -21/+15 |
* | New prototype for find_tag_from_tiff_header() | Christophe Grenier | 2019-11-16 | 1 | -14/+25 |
* | New prototype for get_date_from_tiff_header() | Christophe Grenier | 2019-11-16 | 1 | -8/+11 |
* | file_tiff: make the code more frama-c friendly | Christophe Grenier | 2019-10-24 | 1 | -37/+11 |
* | PhotoRec: TIFF parser, fix previous commit and add various frama-c annotations | Christophe Grenier | 2019-09-07 | 1 | -4/+8 |
* | PhotoRec: TIFF parser, use 0xffffffffffffffff via a constant instead of -1 as... | Christophe Grenier | 2019-09-03 | 1 | -1/+1 |
* | PhotoRec: sr2 files may violate some TIFF specifications | Christophe Grenier | 2018-06-22 | 1 | -1/+1 |
* | tiff_type2size(): use "#if 0" instead of comment around dead code | Christophe Grenier | 2018-03-22 | 1 | -2/+4 |
* | src/file_tiff.c: rewrite file_check_tiff() | Christophe Grenier | 2017-04-11 | 1 | -11/+7 |
* | Split src/file_tiff.c in low endian and big endian files for easier diff | Christophe Grenier | 2017-04-08 | 1 | -964/+2 |
* | PhotoRec: use get_time_from_xxx() new functions | Christophe Grenier | 2017-04-08 | 1 | -13/+1 |
* | PhotoRec: for some file formats, check if file is complete when a new file is... | Christophe Grenier | 2016-09-30 | 1 | -4/+4 |
* | PhotoRec: don't truncate recovered .sr2 files as they may be larger than dete... | Christophe Grenier | 2016-04-10 | 1 | -1/+1 |
* | PhotoRec: fix when carving jpg with blocksize forced to 1 byte | Christophe Grenier | 2015-12-22 | 1 | -0/+13 |
* | PhotoRec: detect .dng based on big endian TIFF | Christophe Grenier | 2015-09-25 | 1 | -35/+36 |
* | PhotoRec: reduce the number of backward search | Christophe Grenier | 2015-09-03 | 1 | -0/+3 |
* | PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup) | Christophe Grenier | 2015-06-13 | 1 | -1/+0 |
* | PhotoRec: avoid a potential out of bound read memory access while checking TIFF | Christophe Grenier | 2015-02-25 | 1 | -1/+14 |
* | file_tiff.c: constify some variables and turn off some sign compare warnings | Christophe Grenier | 2014-11-15 | 1 | -20/+22 |
* | PhotoRec: remove useless file_recovery NULL check | Christophe Grenier | 2014-10-05 | 1 | -1/+1 |
* | PhotoRec: stricter check for .tiff | Christophe Grenier | 2014-07-26 | 1 | -9/+15 |
* | PhotoRec: when checking the TIFF file, return -1 if an error is present, the ... | Christophe Grenier | 2014-03-12 | 1 | -54/+58 |
* | PhotoRec: avoid a false positive (.tiff) during .raf recovery | Christophe Grenier | 2013-10-20 | 1 | -52/+66 |
* | PhotoRec: better size detection using TileOffsets and TileByteCounts | Christophe Grenier | 2012-12-08 | 1 | -231/+388 |
* | PhotoRec: don't return date for year 0000 | Christophe Grenier | 2012-09-10 | 1 | -0/+2 |
* | PhotoRec: Reject more invalid TIFF files | Christophe Grenier | 2012-05-01 | 1 | -2/+2 |
* | PhotoRec: modify Olympus orf recovery to use TIFF recovery functions | Christophe Grenier | 2012-03-10 | 1 | -0/+1 |
* | PhotoRec: fix tiff recovery, 64-bit version wasn't affected | Christophe Grenier | 2012-03-10 | 1 | -1/+1 |
* | PhotoRec: check fseek return value in tiff file validation | Christophe Grenier | 2011-10-15 | 1 | -3/+3 |
* | PhotoRec: fix the reported error location when EXIF information are corrupted | Christophe Grenier | 2010-08-23 | 1 | -12/+12 |
* | PhotoRec: better detection of corrupted EXIF information | Christophe Grenier | 2010-08-20 | 1 | -80/+102 |
* | PhotoRec: fix oversized file detection for .arw | Christophe Grenier | 2010-05-21 | 1 | -25/+73 |
* | Code cleanup | Christophe Grenier | 2009-10-25 | 1 | -2/+3 |
* | PhotoRec: do not parse TIFF Makernotes | Christophe Grenier | 2009-10-19 | 1 | -19/+244 |
* | PhotoRec: recover JPEG XR .wdp files | Christophe Grenier | 2009-08-20 | 1 | -11/+60 |
* | PhotoRec: handle TIFF tag IMPrint, some improvements to get a better filesize | Christophe Grenier | 2009-07-16 | 1 | -57/+76 |
* | PhotoRec: Fix Panasonic rw2 recovery | Christophe Grenier | 2009-05-24 | 1 | -11/+14 |
* | PhotoRec: Add boundary checking when parsing EXIF data (again) | Christophe Grenier | 2009-05-05 | 1 | -1/+1 |
* | PhotoRec: Add boundary checking when parsing EXIF data | Christophe Grenier | 2009-04-27 | 1 | -5/+24 |
* | PhotoRec: identify DNG (raw tiff) | Christophe Grenier | 2009-04-14 | 1 | -2/+7 |
* | PhotoRec: fix the recovery of sr2 and arw TIFF | Christophe Grenier | 2009-04-08 | 1 | -5/+31 |
* | PhotoRec: reorganize how TIFF tag are searched | Christophe Grenier | 2009-03-22 | 1 | -69/+63 |