| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | src/file_mp3.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+5 |
| * | src/file*.c: add various Frama-C annotations in data_check_*() | Christophe Grenier | 2023-10-08 | 1 | -0/+4 |
| * | src/file_mp3.c: improve Frama-C annotations | Christophe Grenier | 2021-09-04 | 1 | -7/+4 |
| * | src/file_mp3.c: improve Frama-C annotations | Christophe Grenier | 2021-07-02 | 1 | -21/+6 |
| * | PhotoRec: check that file_check!=NULL before calling header_ignored() | Christophe Grenier | 2021-04-10 | 1 | -1/+2 |
| * | src/file_mp3.c: fix some frama-c warnings | Christophe Grenier | 2021-02-07 | 1 | -16/+6 |
| * | PhotoRec: try to find ID3 header appended to mp3 | Christophe Grenier | 2020-09-30 | 1 | -0/+11 |
| * | PhotoRec: add an ifdef in each file for easier frama-c testing | Christophe Grenier | 2020-09-11 | 1 | -6/+8 |
| * | PhotoRec: src/file_gz.c, src/file_mp3.c: header_ignored_adv() must be called ... | Christophe Grenier | 2020-01-26 | 1 | -38/+36 |
| * | PhotoRec: add a few frama-c annotations, mostly in header_check functions | Christophe Grenier | 2020-01-18 | 1 | -5/+13 |
| * | src/file_mp3.c: additional frama-c annotations | Christophe Grenier | 2020-01-01 | 1 | -39/+45 |
| * | Drop "-wp-depth" from Makefile.am as it has been removed in frama-c 20.0 | Christophe Grenier | 2019-12-12 | 1 | -12/+9 |
| * | src/file_mp3.c: move some functions, additionnal frama-c annotations | Christophe Grenier | 2019-12-07 | 1 | -314/+312 |
| * | Do not call utime() when using frama-c, fix some minor warnings. | Christophe Grenier | 2019-11-01 | 1 | -1/+1 |
| * | Fix the remaining problems reported by "make frama-c-mp3" and "make frama-c-id3" | Christophe Grenier | 2019-10-19 | 1 | -7/+16 |
| * | PhotoRec: add frama-c tests for mp3 and id3 | Christophe Grenier | 2019-09-21 | 1 | -56/+381 |
| * | PhotoRec: fix bound check when parsing exe, fits, jpg, mp3, riff, zip | Christophe Grenier | 2018-02-18 | 1 | -1/+3 |
| * | PhotoRec: for some file formats, check if file is complete when a new file is... | Christophe Grenier | 2016-09-30 | 1 | -2/+2 |
| * | PhotoRec: reduce the number of backward search | Christophe Grenier | 2015-09-03 | 1 | -0/+6 |
| * | PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup) | Christophe Grenier | 2015-06-13 | 1 | -1/+0 |
| * | remove always-true memcmp | Christophe Grenier | 2015-05-11 | 1 | -11/+11 |
| * | PhotoRec: remove useless file_recovery NULL check | Christophe Grenier | 2014-10-05 | 1 | -1/+1 |
| * | PhotoRec: disable data check of .mp3 files for small blocksize | Christophe Grenier | 2014-07-26 | 1 | -1/+1 |
| * | Revert part of commit a23c1b5a884bd22aa0eb9d9889c2e3980126925e | Christophe Grenier | 2014-04-02 | 1 | -4/+2 |
| * | PhotoRec: better check to avoid to concat mp3 files | Christophe Grenier | 2014-03-30 | 1 | -2/+4 |
| * | PhotoRec: avoid false positive between mp3 header and tiff data | Christophe Grenier | 2014-03-11 | 1 | -4/+11 |
| * | PhotoRec: use an enum for values returned by data_check() | Christophe Grenier | 2013-12-14 | 1 | -12/+12 |
| * | constify more variables | Christophe Grenier | 2013-06-01 | 1 | -8/+6 |
| * | PhotoRec: modify mp3 signature - reduce the number of time where header_check... | Christophe Grenier | 2013-04-11 | 1 | -4/+13 |
| * | PhotoRec: src/file_mp3.c code reorganisation | Christophe Grenier | 2013-03-23 | 1 | -10/+8 |
| * | PhotoRec: fix mp3 recovery when blocksize=1 | Christophe Grenier | 2013-03-10 | 1 | -10/+18 |
| * | PhotoRec: mp3 recovery - code cleanup | Christophe Grenier | 2010-05-21 | 1 | -39/+33 |
| * | Code cleanup | Christophe Grenier | 2009-10-25 | 1 | -1/+1 |
| * | PhotoRec: identified some constants as is | Christophe Grenier | 2009-01-22 | 1 | -7/+7 |
| * | Fix for C++ compilation | Christophe Grenier | 2009-01-04 | 1 | -2/+2 |
| * | PhotoRec: declare as const some variables in file_mp3.c | Christophe Grenier | 2008-11-13 | 1 | -2/+2 |
| * | PhotoRec: fix out of bound read access | Christophe Grenier | 2008-06-10 | 1 | -2/+4 |
| * | More robust mp3 detection | Christophe Grenier | 2008-05-27 | 1 | -52/+52 |
| * | PhotoRec: in FileOpts, press 's' to deselect all files or reset to default s... | Christophe Grenier | 2008-02-27 | 1 | -0/+1 |
| * | Remove header_check from struct file_hint_struct | Christophe Grenier | 2007-12-23 | 1 | -1/+0 |
| * | First version in git | Christophe Grenier | 2007-10-29 | 1 | -0/+462 |
