path: root/src/file_dv.c
Commit message (Expand)AuthorAgeFilesLines
* src/file_dv.c: more frama-c annotationsChristophe Grenier2023-12-271-4/+21
* src/file*.c: add various Frama-C annotations in data_check_*()Christophe Grenier2023-10-081-0/+4
* src/file_dv.c: Fix Frama-C warningsChristophe Grenier2021-06-071-39/+31
* PhotoRec: check that file_check!=NULL before calling header_ignored()Christophe Grenier2021-04-101-0/+2
* src/file_dv.c: additional frama-c annotationChristophe Grenier2021-02-151-0/+1
* src/file_dv.c: fix frama-c annotations for data_check_*()Christophe Grenier2021-01-291-2/+54
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-0/+23
* Fallback to fseek() if fseeko() failedChristophe Grenier2015-09-251-6/+0
* PhotoRec: reduce the number of backward searchChristophe Grenier2015-09-031-2/+5
* PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)Christophe Grenier2015-06-131-1/+0
* add gcc_struct attribute to all __packed__ structureChristophe Grenier2015-04-111-22/+10
* PhotoRec: recover .dv using PAL formatChristophe Grenier2014-10-281-14/+106
* PhotoRec: remove useless file_recovery NULL checkChristophe Grenier2014-10-051-2/+1
* PhotoRec: disable check of .dv files for small blocksizeChristophe Grenier2014-07-261-21/+23
* PhotoRec: better check to avoid to concat mp3 filesChristophe Grenier2014-03-301-2/+2
* PhotoRec: use an enum for values returned by data_check()Christophe Grenier2013-12-141-4/+4
* PhotoRec: Improve .dv Digital Video file recovery to get the filesizeChristophe Grenier2010-01-241-0/+18
* PhotoRec: in FileOpts, press 's' to deselect all files or reset to default s...Christophe Grenier2008-02-271-0/+1
* Remove header_check from struct file_hint_structChristophe Grenier2007-12-231-1/+0
* First version in gitChristophe Grenier2007-10-291-0/+66