summaryrefslogtreecommitdiffstats
path: root/src/filegen.h
Commit message (Collapse)AuthorAgeFilesLines
* src/filegen.[ch]: additional frama-c annotations (Need more work)Christophe Grenier2025-06-221-0/+2
|
* Proves that file_check_tiff_be_aux() and file_check_tiff_le_aux()Christophe Grenier2024-05-211-1/+4
| | | | terminates (Frama-C)
* 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
| | | | | file_rsearch(): rewrite it add frama-c annotations to various functions
* add frama-c annotations for td_memmem() and several list relatedChristophe Grenier2019-12-071-0/+6
| | | | functions
* 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
| | | | Disable file_rename() and file_rename_unicode_aux() when parsed by frama-c
* move get_prev_location_smart() from src/photorec.h to src/filegen.hChristophe Grenier2019-10-131-0/+6
| | | | Avoid using ftello and fseeko when using frama-c
* 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
| | | | in commit b947e58fa0a049692202e04d14992d5d829d5356
* 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
| | | | rename .m2ts and .ts using pid from header
* 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() ↵Christophe Grenier2012-04-141-5/+4
| | | | prototype to use void*
* 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
|
generated by cgit (git 2.34.1) at 2025-07-22 10:48:28 +0000