summaryrefslogtreecommitdiffstats
path: root/src/filegen.h
Commit message (Expand)AuthorAgeFilesLines
* Proves that file_check_tiff_be_aux() and file_check_tiff_le_aux()HEADmasterChristophe Grenier2024-05-211-1/+4
* src/filegen.[ch], src/photorec.h: improve Frama-C annotationsChristophe Grenier2024-01-071-1/+4
* Improve Frama-C annotations for a bunch of filesChristophe Grenier2024-01-011-6/+13
* src/filegen.[ch]: add more frama-c annotationsChristophe Grenier2023-12-271-0/+8
* src/filegen.c: improve Frama-C annotationsChristophe Grenier2023-10-081-3/+13
* Improve Frama-C annotationsChristophe Grenier2022-07-141-0/+2
* Numerous frama-c annotationsChristophe Grenier2021-11-201-2/+15
* src/file_bmp.c: fix Frama-C annotationsChristophe Grenier2021-06-061-0/+3
* src/filegen.[ch]: add Frama-C predicatesChristophe Grenier2021-05-311-42/+92
* file_*.c: add various Frama-C annotationsChristophe Grenier2021-04-101-2/+1
* src/filegen.h: data_check() can also update timeChristophe Grenier2021-02-061-2/+3
* src/filegen.[ch]: update frama-c annotationsChristophe Grenier2021-01-291-25/+71
* file_allow_nl(): add assigns frama-c annotationChristophe Grenier2020-10-241-1/+2
* PhotoRec: fix problems reported by frama-cChristophe Grenier2020-09-121-3/+10
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-0/+1
* filegen.[ch]: add various frama-c annotationsChristophe Grenier2020-08-221-0/+9
* Constify a lot of function parametersChristophe Grenier2020-06-191-1/+1
* Fix frama-c annotation for file_allow_nl()Christophe Grenier2020-06-181-1/+1
* Lots of frama-c work that should be safe to commitChristophe Grenier2020-06-021-2/+3
* PhotoRec: add a few frama-c annotations, mostly in header_check functionsChristophe Grenier2020-01-181-1/+2
* add a few frama-c annotationsChristophe Grenier2020-01-011-1/+2
* date_dos2unix(): adapt a more recent and readable version from Linux kernel.Christophe Grenier2019-12-281-0/+8
* add frama-c annotations for td_memmem() and several list relatedChristophe Grenier2019-12-071-0/+6
* New prototype for get_date_from_tiff_header()Christophe Grenier2019-11-161-3/+4
* file_tiff: make the code more frama-c friendlyChristophe Grenier2019-10-241-0/+1
* Make file_check_cmp() frama-c friendlyChristophe Grenier2019-10-191-1/+1
* move get_prev_location_smart() from src/photorec.h to src/filegen.hChristophe Grenier2019-10-131-0/+6
* move del_search_space() from src/filegen.h to src/photorec.hChristophe Grenier2019-10-131-12/+0
* file_bmp.c: add new frama-c annotationsChristophe Grenier2019-10-131-0/+139
* src/filegen.c: avoid recursive call in file_rename() and file_rename_unicode()Christophe Grenier2019-10-121-0/+15
* PhotoRec: reset offset_skipped_header when this offset belongs to a valid file.Christophe Grenier2019-04-261-0/+1
* PhotoRec: use get_time_from_xxx() new functionsChristophe Grenier2017-04-081-0/+4
* header_ignored_adv(): generalized the speed optimization created for zip fileChristophe Grenier2016-09-301-0/+1
* PhotoRec: do not limit .raf filesize for recent versionChristophe Grenier2016-02-251-1/+2
* Fallback to fseek() if fseeko() failedChristophe Grenier2015-09-251-0/+1
* PhotoRec: reduce the number of backward searchChristophe Grenier2015-09-031-0/+1
* PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)Christophe Grenier2015-06-131-3/+0
* PhotoRec: log the correct filename if file has been renamedChristophe Grenier2015-06-121-3/+3
* Turn off various signed/unsigned comparaison warningsChristophe Grenier2014-11-151-1/+1
* Remove file_size_on_disk field from struct file_recovery_structChristophe Grenier2014-01-051-1/+0
* Remove loc field from struct file_recovery_struct, use location insteadChristophe Grenier2013-12-211-2/+1
* PhotoRec: use an enum for values returned by data_check()Christophe Grenier2013-12-141-5/+4
* Avoid double inclusionChristophe Grenier2013-05-151-0/+3
* Migrate from file_data to file_info structureChristophe Grenier2013-05-051-1/+1
* Modify register_header_check(), file_rename() and file_rename_unicode() proto...Christophe Grenier2012-04-141-5/+4
* new function file_rsearch() to search a pattern in a file from the endChristophe Grenier2011-09-171-0/+1
* PhotoRec: recover MPEG transport stream .ts (disabled by default)Christophe Grenier2011-03-251-0/+1
* Modify file_search_footer() prototypeChristophe Grenier2011-03-051-1/+1
* PhotoRec: remove has_value field in file_check_list_tChristophe Grenier2010-10-311-1/+0
* PhotoRec: modify internals for brute-force recoveryChristophe Grenier2010-04-271-0/+5