luisgulo/testdisk
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
3304 commits 2 branches 8 tags 6.3 MiB
Commit graph

3304 commits

This branch
This branch
All branches
Author SHA1 Message Date
Christophe Grenier
1f13894236 src/file_xcf.c: add support for more recent versions of Gimp xcf files 2023-10-22 10:10:07 +02:00
Christophe Grenier
551a2b2a5b src/filegen.c: fix bug introduced in 0fdbc68915 2023-10-21 17:47:02 +02:00
Christophe Grenier
1917ee48c1 PhotoRec: distinguish .FCStd from .zip files 
See https://github.com/cgsecurity/testdisk/issues/136
 2023-10-21 14:27:08 +02:00
Christophe Grenier
2759233f7f Add missing src/file_sdw.c - Recover Microsoft Jet DB / Sage Simply Accounting database 2023-10-08 14:51:07 +02:00
Christophe Grenier
5473a29587 src/file_sig.c: improve Frama-C annotation for load_signature() 2023-10-08 14:43:57 +02:00
Christophe Grenier
2327c1f304 src/file_mkv.c: improve Frama-C annotations 2023-10-08 14:40:58 +02:00
Christophe Grenier
8582846b9b src/file_lzh.c: fix wrong Frama-C annotations 2023-10-08 14:40:17 +02:00
Christophe Grenier
73411e2f6d src/file_hdf5.c: fix ifdef 2023-10-08 14:39:46 +02:00
Christophe Grenier
aec0be9edb src/file_zip.c: improve Frama-C annotations in file_rename_zip() 2023-10-08 14:39:17 +02:00
Christophe Grenier
d9d00379ed src/file_xml.c: rewrote file_rename_xml() for easier Frama-C validation 2023-10-08 14:38:37 +02:00
Christophe Grenier
d5a16ce5da src/file_shp.c: switch size field to unsigned 2023-10-08 14:36:52 +02:00
Christophe Grenier
396a3e9c65 src/file_psd.c: improve Frama-C annotations 2023-10-08 14:36:14 +02:00
Christophe Grenier
51f8d1310b src/file_psb.c: improve Frama-C annotations 2023-10-08 14:35:55 +02:00
Christophe Grenier
4730b7aa87 src/file_pdf.c: improve Frama-C annotations after removing a call to 
MALLOC()
 2023-10-08 14:35:16 +02:00
Christophe Grenier
2dfa134455 src/file_nk2.c: fix Frama-C annotations for file_check_nk2() 2023-10-08 14:34:41 +02:00
Christophe Grenier
2ddc089e4d src/file_hdf.c: improve file_check_hdf() annotations 2023-10-08 14:33:59 +02:00
Christophe Grenier
7c660ff10b src/file*.c: add various Frama-C annotations in data_check_*() 2023-10-08 14:31:56 +02:00
Christophe Grenier
1941a27e94 src/file_fbx.c: fix wrong Frama-C annotations 2023-10-08 14:31:06 +02:00
Christophe Grenier
126b9fafe5 src/file_dovecot.c: fix wrong Frama-C annotations for data_check_dovecot2() 2023-10-08 14:30:38 +02:00
Christophe Grenier
251ac27971 src/file_list.c: fix several boggus ifdef 2023-10-08 14:29:57 +02:00
Christophe Grenier
27e50f94d8 src/common.c: Frama-C annotations for _date_get_leap_day() 2023-10-08 14:28:09 +02:00
Christophe Grenier
7430e4da4b src/addpart.h: improve Frama-C annotations for add_partition_cli() 2023-10-08 14:25:33 +02:00
Christophe Grenier
3e11771f78 src/fidentify.c: improve Frama-C annotations 2023-10-08 14:24:21 +02:00
Christophe Grenier
74f379bba4 src/file_jpg.c: improve Frama-C annotations 2023-10-08 14:21:58 +02:00
Christophe Grenier
4e66719d45 src/file_tiff_be.c, src/file_tiff_le.c: Frama-C - use static buffer to avoid 
calling MALLOC()
 2023-10-08 14:18:15 +02:00
Christophe Grenier
cb58fe3a0e src/file_exe.c: improve Frama-C annotations 2023-10-08 14:16:18 +02:00
Christophe Grenier
c966ee4baa src/file_doc.h: add annotations for file_check_doc_aux() 2023-10-08 14:14:51 +02:00
Christophe Grenier
d90b4571d7 src/fat_common.c, src/fat_dir.c: more Frama-C annotations 2023-10-08 14:13:56 +02:00
Christophe Grenier
bd0b82c437 src/ext2_common.c: more Frama-C annotations 2023-10-08 14:13:17 +02:00
Christophe Grenier
9c37fccbd3 src/apfs_common.c: fix Frama-C annotations for fletcher64() 2023-10-08 14:11:47 +02:00
Christophe Grenier
0fdbc68915 src/filegen.c: improve Frama-C annotations 2023-10-08 14:00:23 +02:00
Christophe Grenier
b05dfc200b src/adv.c: add Frama-C annotation for interface_adv() 2023-10-08 13:57:07 +02:00
Christophe Grenier
28e29554f7 src/crc.c: fix Frama-C annotations for get_crc32 2023-10-08 13:56:32 +02:00
Christophe Grenier
d29facb0d7 src/log.c: add Frama-C annotations for dump_log() and dump2_log() 2023-10-08 13:55:39 +02:00
Christophe Grenier
0c9784cb76 Split src/list.h in 3 2023-09-02 10:17:38 +02:00
Christophe Grenier
14210bd402 src/file_zip.c: improve Frama-C annotations 2023-09-01 07:58:38 +02:00
Christophe Grenier
2457531d2b src/file_doc.c: improve Frama-C annotations 2023-08-31 13:55:08 +02:00
Christophe Grenier
d2d79fe429 src/common.c: rewrite set_part_name(), set_part_name_chomp() and 
date_dos2unix() to fix Frama-C warnings
 2023-08-25 16:45:59 +02:00
Christophe Grenier
5870c3c967 src/hdaccess.c: use /sys/dev/block/*/device/{model,serial,rev} to get 
information about disks
 2023-08-25 16:40:27 +02:00
Christophe Grenier
da2ed0b7aa src/file_mov.c: recover "XAVC" videos 2023-08-25 11:45:44 +02:00
Christophe Grenier
979489eff6 new prototype for copy_file(), improve error reporting 2023-08-25 11:43:50 +02:00
Christophe Grenier
a8b22a5eed src/fat_adv.c: move up2power() from src/common.c 2023-08-25 11:39:22 +02:00
Christophe Grenier
cd8d1a00d3 src/exfat_dir.c: Better utf-8 support when iconv is missing 2023-06-18 18:01:20 +02:00
Christophe Grenier
9997b601c2 fidentify: report if iconv is used 2023-02-19 09:45:36 +01:00
Christophe Grenier
972217f993 configure.ac: fidentify doesn't use com_err ext2fs ntfs-3g ntfs uuid libaries 2023-02-19 09:42:41 +01:00
Christophe Grenier
6e7da4929b qphotorec: improve error message when write failed 2023-02-19 09:16:30 +01:00
Christophe Grenier
5ddaee9a47 Commit various Frama-C annotations 2023-02-19 09:15:52 +01:00
Christophe Grenier
97f7083ba8 src/apfs_common.c: avoid integer overflow when checking block count. 2023-02-19 09:14:47 +01:00
Christophe Grenier
f13286f198 testdisk, photorec: report iconv usage 2023-02-19 09:11:47 +01:00
Christophe Grenier
593d540676 Merge branch 'gszy_shapefile' to add support for .shp (ESRI Shapefiles) 2023-02-03 15:36:29 +01:00