Commit graph

18 commits

Author SHA1 Message Date
Christophe Grenier
4e44db2b46 Improve Frama-C annotations 2022-07-14 10:09:09 +02:00
Christophe Grenier
b2a0d41da6 Numerous frama-c annotations 2021-11-20 11:26:50 +01:00
Christophe Grenier
7bb300df96 src/fatp.c: remove useless prototypes 2020-11-01 13:27:21 +01:00
Christophe Grenier
54fb54dd4b move del_search_space() from src/filegen.h to src/photorec.h 2019-10-13 11:06:57 +02:00
Christophe Grenier
20942518d5 Fix potential integer overflow 2014-07-26 22:50:16 +02:00
Christophe Grenier
6471bd8ac5 PhotoRec: Remove FAT copies and boot sector when searching from FAT32 free space 2014-01-25 14:56:41 +01:00
Christophe Grenier
b58be737f0 new functions is_fat_directory() and fat_get_cluster_from_entry()
rename sectors() to fat_sectors()
2013-11-01 13:42:51 +01:00
Christophe Grenier
23f85f9531 code cleanup: remove unused but set variables 2012-04-14 11:13:55 +02:00
Christophe Grenier
5a8a0f5eb5 Before removing allocated from PhotoRec search space, check the sector size stored in FAT boot sector 2011-12-03 10:05:43 +01:00
Christophe Grenier
6d955e1fa5 PhotoRec: add carve free space only from FAT12 possibility 2010-11-07 16:42:29 +01:00
Christophe Grenier
ee97a896a2 Fix PhotoRec FAT free space carving, the first sector of cluster 2 was erronously removed from the disk space to analyse. 2009-02-16 20:01:52 +01:00
Christophe Grenier
203df0e3a5 Fix some compilation warnings 2009-02-03 09:29:29 +01:00
Christophe Grenier
56d98fd7a2 Use pread() and pwrite() argument style for internal I/O 2009-01-31 17:07:08 +01:00
Christophe Grenier
07b1742903 Code cleanup after using LLVM/Clang Static Analyzer 2008-11-16 12:53:21 +01:00
Christophe Grenier
a6b58b4150 FAT: Fix confusion between cluster_size and sectors_per_cluster 2008-07-05 22:57:58 +02:00
Christophe Grenier
b849a82750 Make the code less C++ hostile 2008-06-23 19:28:58 +02:00
Christophe Grenier
b7d3c98ee6 Fix for big FAT filesystem 2007-11-16 09:04:41 +01:00
Christophe Grenier
9928d99936 First version in git 2007-10-29 22:38:52 +01:00