Christophe Grenier
|
e62badc0c4
|
src/file_acb.c: Update Frama-C annotations
|
2021-06-04 08:08:52 +02:00 |
|
Christophe Grenier
|
e0a2c208e9
|
src/file_a.c: Update Frama-C annotations
|
2021-06-03 14:01:05 +02:00 |
|
Christophe Grenier
|
b0b8f70954
|
src/file_abr.c: Update Frama-C annotations
|
2021-06-03 13:54:19 +02:00 |
|
Christophe Grenier
|
b34f6dc1f5
|
src/file_ab.c: update Frama-C annotations
|
2021-06-03 13:52:07 +02:00 |
|
Christophe Grenier
|
21bcf0d465
|
src/file_arj.c: update Frama-C annotations
|
2021-06-03 13:49:24 +02:00 |
|
Christophe Grenier
|
b3566526f5
|
apfs_common.c: add Frama-C annotations
|
2021-06-03 13:46:03 +02:00 |
|
Christophe Grenier
|
cd7b7032f6
|
TestDisk: detect APFS partition
|
2021-06-02 19:07:44 +02:00 |
|
Christophe Grenier
|
8f11e3a897
|
src/file_xm.c: fix Frama-C annotations
|
2021-05-31 08:42:02 +02:00 |
|
Christophe Grenier
|
ecd31c56da
|
src/filegen.[ch]: add Frama-C predicates
|
2021-05-31 08:41:06 +02:00 |
|
Christophe Grenier
|
264d9db8b9
|
PhotoRec: use LBA when listing EFI GPT partitions as TestDisk does
|
2021-05-31 08:38:11 +02:00 |
|
Christophe Grenier
|
af0dc07652
|
src/file_zip.c: fix mimetype parsing, improve detection of epub
|
2021-05-21 12:01:35 +02:00 |
|
Christophe Grenier
|
6d51ce0e8c
|
Fix commit 65caf90a28
|
2021-05-12 16:19:44 +02:00 |
|
Christophe Grenier
|
3512538595
|
Merge branch 'farvardin'
|
2021-05-12 14:58:54 +02:00 |
|
Christophe Grenier
|
f7b0240de9
|
src/file_drw2.c: remove commented code and add Frama-C annotations
|
2021-05-12 14:57:37 +02:00 |
|
Christophe Grenier
|
120a8ec79e
|
Merge https://github.com/farvardin/testdisk into farvardin
|
2021-05-12 14:53:58 +02:00 |
|
Christophe Grenier
|
add9add609
|
src/ntfs_adv.c: add missing header
|
2021-05-09 22:52:40 +02:00 |
|
Christophe Grenier
|
65caf90a28
|
src/common.h: add Frama-C annotations
|
2021-05-09 22:46:55 +02:00 |
|
Christophe Grenier
|
6d6a90183c
|
Update rc files to 2021
|
2021-05-09 22:46:55 +02:00 |
|
Christophe Grenier
|
12d7f9f096
|
compile.sh: add target aarch64-QNAP-linux-gnu
|
2021-05-09 08:46:39 +02:00 |
|
farvardin
|
24ec21a9e1
|
removing some bytes for the drw2 recognition
|
2021-04-30 16:32:05 +02:00 |
|
farvardin
|
62a6c4569c
|
adding micrografx designer drw format
|
2021-04-30 15:43:05 +02:00 |
|
Christophe Grenier
|
b19006725d
|
qphotorec: add greek (el) language
|
2021-04-23 08:29:20 +02:00 |
|
Christophe Grenier
|
c4eb245d0e
|
Update date to 2021
|
2021-04-18 09:08:39 +02:00 |
|
Xavier DANEST
|
174160bb65
|
qphotorec: Restrict path used to search for DLL to current directory
|
2021-04-18 09:00:29 +02:00 |
|
Christophe Grenier
|
4b57665aeb
|
win/*.conf must use Windows end of line
|
2021-04-18 08:52:37 +02:00 |
|
Christophe Grenier
|
190b0c17d3
|
TestDisk: ask confirmation to stop searching for more partitions
|
2021-04-16 17:02:54 +02:00 |
|
Christophe Grenier
|
9601788a27
|
src/file_jpg.c: additional signature to avoid to recover a jpg from a mov
|
2021-04-16 16:59:55 +02:00 |
|
Christophe Grenier
|
e0a96e40d9
|
src/file_win.c: add Frama-C annotations
|
2021-04-16 16:57:21 +02:00 |
|
Christophe Grenier
|
8158109939
|
src/file_png.c: add Frama-C annotations
|
2021-04-16 16:56:43 +02:00 |
|
Christophe Grenier
|
0933bc5bb2
|
file_*.c: add various Frama-C annotations
|
2021-04-10 11:34:54 +02:00 |
|
Christophe Grenier
|
328e7ea31a
|
PhotoRec: check that file_check!=NULL before calling header_ignored()
|
2021-04-10 11:33:23 +02:00 |
|
Christophe Grenier
|
5d67493079
|
src/file_vdi.c: add Frama-C annotations
|
2021-04-10 11:28:33 +02:00 |
|
Christophe Grenier
|
871884c764
|
src/file_prc.c: add Frama-C annotations
|
2021-04-10 11:24:16 +02:00 |
|
Christophe Grenier
|
7abb326532
|
src/file_wpb.c: add Frama-C annotations
|
2021-04-10 11:16:37 +02:00 |
|
Christophe Grenier
|
6d8d201927
|
src/file_wim.c: add a Frama-C annotation
|
2021-04-10 11:13:38 +02:00 |
|
Christophe Grenier
|
074168cb16
|
src/file_vault.c: add Frama-C annotations
|
2021-04-10 11:11:14 +02:00 |
|
Christophe Grenier
|
8106c16d99
|
src/file_tar.c: improve Frama-C annotations
|
2021-04-10 11:05:49 +02:00 |
|
Christophe Grenier
|
cd787bb097
|
src/file_r3d.c: add Frama-C annotations
|
2021-04-10 11:04:41 +02:00 |
|
Christophe Grenier
|
2f01b7d825
|
src/file_prt.c: add Frama-C annotations
|
2021-04-10 10:58:59 +02:00 |
|
Christophe Grenier
|
6e7f734674
|
src/file_prd.c: add Frama-C annotations
|
2021-04-10 10:56:22 +02:00 |
|
Christophe Grenier
|
f429080064
|
src/file_pnm.c: add Frama-C annotations
|
2021-04-10 10:53:57 +02:00 |
|
Christophe Grenier
|
db677e3b32
|
src/file_mus.c: add Frama-C annotations
|
2021-04-10 10:48:37 +02:00 |
|
Christophe Grenier
|
94a561554e
|
src/file_hm.c: add Frama-C annotations
|
2021-04-10 10:45:27 +02:00 |
|
Christophe Grenier
|
890256bfab
|
src/file_dss.c: add Frama-C annotations
|
2021-04-10 10:41:42 +02:00 |
|
Christophe Grenier
|
60d40b0962
|
src/file_DB.c: add Frama-C annotations
|
2021-04-10 10:26:27 +02:00 |
|
Christophe Grenier
|
b0ca4399a9
|
src/filegen.c: add more Frama-C annotations
|
2021-03-20 14:46:35 +01:00 |
|
Christophe Grenier
|
6d4908eb2f
|
src/file_wim.c: rewrite header_check_wim(), add Frama-C annotations
|
2021-03-20 09:07:51 +01:00 |
|
Christophe Grenier
|
1655c91cc9
|
src/file_zpr.c: add Frama-C annotations
|
2021-03-20 08:26:07 +01:00 |
|
Christophe Grenier
|
52f7b11efb
|
src/file_zip.c: Add more Frama-C annotations
|
2021-03-19 13:53:32 +01:00 |
|
Christophe Grenier
|
c68c52221d
|
src/file_zip.c: add Frama-C assigns clause to zip_parse_file_entry_fn
|
2021-03-19 13:29:26 +01:00 |
|