Commit graph

12 commits

Author SHA1 Message Date
Christophe Grenier
51f8d1310b src/file_psb.c: improve Frama-C annotations 2023-10-08 14:35:55 +02:00
Christophe Grenier
10e81c02d9 src/file_psb.c: improve Frama-C annotations 2021-07-07 17:08:57 +02:00
Christophe Grenier
2e47a667ea src/file_psb.c, src/file_psd.c: Fix Photoshop file parsers
Add Frama-C annotations
2021-02-28 11:56:04 +01:00
Christophe Grenier
79e2b889da PhotoRec: add an ifdef in each file for easier frama-c testing 2020-09-11 12:58:00 +02:00
Christophe Grenier
6d20b64ac4 Replace some fake "while" by "if" in src/file_psb.c and src/file_psd.c
Remove useless variable assignation in src/file_txt.c
2017-04-14 19:12:11 +02:00
Christophe Grenier
35ddcde355 PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup) 2015-06-13 11:58:44 +02:00
Christophe Grenier
6705437287 add gcc_struct attribute to all __packed__ structure
do not use fseeko() with mingw32 gcc compiler
2015-04-11 14:23:16 +02:00
Christophe Grenier
d4d0b06898 PhotoRec: stricter check for .psb and .psd 2014-08-13 08:34:06 +02:00
Christophe Grenier
9b7133e1e5 PhotoRec: disable data check of .psb files for small blocksize 2014-07-26 22:32:34 +02:00
Christophe Grenier
3213247d99 PhotoRec: use an enum for values returned by data_check()
rename .m2ts and .ts using pid from header
2013-12-14 21:40:04 +01:00
Christophe Grenier
fa069497ed src/file_psb.c and src/file_psd.c: rewrote to use data structure 2013-11-01 12:16:35 +01:00
Christophe Grenier
53bf782d72 PhotoRec: recover .psb Adobe Photoshop Image 2013-06-26 11:42:11 +02:00