testdisk/src/file_r3d.c, branch master

testdisk/src/file_r3d.c, branch master TestDisk & PhotoRec Improve Frama-C annotations for a bunch of files 2024-01-01T19:08:58+00:00 Christophe Grenier grenier@cgsecurity.org 2024-01-01T19:08:58+00:00 e45f0d5b6951de6127e5130d0522f07c7fe638c9

src/file*.c: add various Frama-C annotations in data_check_*() 2023-10-08T12:31:56+00:00 Christophe Grenier grenier@cgsecurity.org 2023-10-08T12:31:56+00:00 7c660ff10b0c903065143e0322f7737ba0f47a9f

src/file_r3d.c: improve Frama-C annotations 2021-07-08T18:58:01+00:00 Christophe Grenier grenier@cgsecurity.org 2021-07-08T18:58:01+00:00 a723179662a9813e445e310f738b51f4e45d1386

src/file_r3d.c: add Frama-C annotations 2021-04-10T09:04:41+00:00 Christophe Grenier grenier@cgsecurity.org 2021-04-10T09:04:41+00:00 cd787bb0974e801d3431e7574897f67da28a71dd

PhotoRec: add an ifdef in each file for easier frama-c testing 2020-09-11T10:58:00+00:00 Christophe Grenier grenier@cgsecurity.org 2020-09-11T10:58:00+00:00 79e2b889daf9992e4ed2c08b572a1544d62ed119

PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup) 2015-06-13T09:58:44+00:00 Christophe Grenier grenier@cgsecurity.org 2015-06-13T09:58:44+00:00 35ddcde3552812ec97bb39c9cfb3fe7a3eee5efd

PhotoRec: log the correct filename if file has been renamed 2015-06-12T17:49:50+00:00 Christophe Grenier grenier@cgsecurity.org 2015-06-12T17:49:50+00:00 04d653114489586908a37b6f405340fdcb9a3824

remove always-true memcmp 2015-05-11T07:25:39+00:00 Christophe Grenier grenier@cgsecurity.org 2015-05-11T07:25:39+00:00 e1ca4010307fb53d83c5036f6c8269eb9066c928

add gcc_struct attribute to all __packed__ structure 2015-04-11T12:23:16+00:00 Christophe Grenier grenier@cgsecurity.org 2015-04-11T12:23:16+00:00 67054372873f2ed5414da7fff1cb5744148289d6 do not use fseeko() with mingw32 gcc compiler

do not use fseeko() with mingw32 gcc compiler

Turn off various signed/unsigned comparaison warnings 2014-11-15T11:29:48+00:00 Christophe Grenier grenier@cgsecurity.org 2014-11-15T11:29:48+00:00 5ed8822f2b3cc95bf7f9bda45bf7b57e8a693f6d