luisgulo/testdisk
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Commit graph

  • b4fe4fd860 src/file_ctg.c: improve Frama-C annotations Christophe Grenier 2021-06-06 16:34:40 +0200
  • 4e6d743845 src/file_csh.c: improve Frama-C annotations Christophe Grenier 2021-06-06 16:32:03 +0200
  • 46d107f4d3 src/file_crw.c: improve Frama-C annotations Christophe Grenier 2021-06-06 16:29:43 +0200
  • 73d11d1d19 src/file_cpi.c: improve Frama-C annotations Christophe Grenier 2021-06-06 16:26:26 +0200
  • 95d9c2b7b4 src/file_cow.c: improve Frama-C annotations Christophe Grenier 2021-06-06 16:23:24 +0200
  • b932ef701f src/file_bmp.c: fix Frama-C annotations Christophe Grenier 2021-06-06 14:58:32 +0200
  • b6eb4fe3ab src/file_compress.c: improve Frama-C annotations Christophe Grenier 2021-06-06 16:11:36 +0200
  • c9e7dfb23d src/file_cm.c: improve Frama-C annotations Christophe Grenier 2021-06-06 16:09:27 +0200
  • a924032f44 src/file_class.c: improve Frama-C annotations Christophe Grenier 2021-06-06 16:06:31 +0200
  • b0443b39bb src/file_chm.c: improve Frama-C annotations Christophe Grenier 2021-06-06 16:04:15 +0200
  • 90a55cab10 src/file_che.c: improve Frama-C annotations Christophe Grenier 2021-06-06 16:01:33 +0200
  • d389363181 src/file_cdt.c: improve Frama-C annotations Christophe Grenier 2021-06-06 15:57:43 +0200
  • 3424b6c218 src/file_catdrawing.c: improve Frama-C annotations Christophe Grenier 2021-06-06 15:55:19 +0200
  • a046acecf7 src/file_cam.c: add Frama-C annotations Christophe Grenier 2021-06-06 15:50:33 +0200
  • 41b3618c1b src/file_caf.c: improve Frama-C annotations Christophe Grenier 2021-06-06 15:39:36 +0200
  • b8625949c3 src/file_cab.c: improve Frama-C annotations Christophe Grenier 2021-06-06 15:26:04 +0200
  • 075a9f762b src/file_c4d.c: improve Frama-C annotations Christophe Grenier 2021-06-06 15:23:43 +0200
  • 810a9bc55c src/file_bz2.c: improve Frama-C annotations Christophe Grenier 2021-06-06 15:17:47 +0200
  • 8aaaf22893 src/file_bvr.c: improve Frama-C annotations Christophe Grenier 2021-06-06 15:14:35 +0200
  • 053fc5b5f9 src/file_bpg.c: improve Frama-C annotations Christophe Grenier 2021-06-06 15:01:31 +0200
  • f4a95b0f45 src/file_bld.c: improve Frama-C annotations Christophe Grenier 2021-06-06 14:52:34 +0200
  • 6fbe9cab43 src/file_bkf.c: improve Frama-C annotations Christophe Grenier 2021-06-06 14:50:07 +0200
  • 999c134675 src/file_binvox.c: improve Frama-C annotations Christophe Grenier 2021-06-06 14:46:13 +0200
  • fae1b627c8 src/file_bin.c: improve Frama-C annotations Christophe Grenier 2021-06-06 14:42:59 +0200
  • 4196972b34 src/file_bim.c: improve Frama-C annotations Christophe Grenier 2021-06-06 14:40:32 +0200
  • 08459d053c src/file_bfa.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 14:36:13 +0200
  • 2caa89dc5f src/file_berkeley.c: update Frama-C annotations Christophe Grenier 2021-06-06 14:29:39 +0200
  • 3d4237d6e1 src/file_bdm.c: improve Frama-C annotations Christophe Grenier 2021-06-06 14:22:22 +0200
  • a24c7e4a20 src/file_bac.c: improve Frama-C annotations Christophe Grenier 2021-06-06 14:19:00 +0200
  • 7b59ff8d88 src/file_axx.c: Fix Frama-C warnings Christophe Grenier 2021-06-06 14:11:52 +0200
  • 32b8ac916f src/file_axp.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 13:44:06 +0200
  • cbb7462c12 src/file_au.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 13:40:22 +0200
  • ed7e86a456 src/file_atd.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 13:36:35 +0200
  • 84121e8404 src/file_asm.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 13:29:27 +0200
  • 29b7a94592 src/file_asl.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 13:24:36 +0200
  • fafefd6b7c src/file_asf.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 13:21:03 +0200
  • eea33e1291 src/file_ari.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 13:17:06 +0200
  • 2269832a3c src/file_apple.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 11:38:26 +0200
  • 7c242d5602 src/file_ape.c: improve Frama-C annotations Christophe Grenier 2021-06-06 11:34:10 +0200
  • 10470b2863 src/file_apa.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 11:32:05 +0200
  • 332da174ab src/file_amr.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 11:28:41 +0200
  • ad878c302d src/file_ace.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 11:26:08 +0200
  • 23aa340517 src/file_amd.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 10:01:28 +0200
  • 8895673b12 src/file_als.c: Improve Frama-C annotations Christophe Grenier 2021-06-06 08:49:26 +0200
  • 23e0fed9fb src/hdaccess.c: Do not use /dev/sdX anymore under cygwin Christophe Grenier 2021-06-05 20:11:25 +0200
  • ed2c66e464 src/file_all.c: Improve Frama-C annotations Christophe Grenier 2021-06-05 19:37:39 +0200
  • 30db2f5681 src/file_aif.c: improve Frama-C annotations Christophe Grenier 2021-06-05 19:36:48 +0200
  • a7ad22df59 src/file_ahn.c: Improve Frama-C annotations Christophe Grenier 2021-06-05 19:33:57 +0200
  • 38772b4519 src/file_afdesign.c: improve Frama-C annotations Christophe Grenier 2021-06-05 19:32:57 +0200
  • e5d7355cff src/fidentify.c: call file_rename_*() when available but only for Frama-C validation Christophe Grenier 2021-06-05 19:31:35 +0200
  • d5e0f86c70 src/fidentify.c: call data_check_*() when available for better file check Christophe Grenier 2021-06-05 19:30:52 +0200
  • 3f594bea7d src/fidentify.c: add more Frama-C annotations Christophe Grenier 2021-06-05 19:29:37 +0200
  • 3413b21cd5 src/file_ado.c: Update FRama-C annotations Christophe Grenier 2021-06-05 10:22:43 +0200
  • e62badc0c4 src/file_acb.c: Update Frama-C annotations Christophe Grenier 2021-06-04 08:08:52 +0200
  • e0a2c208e9 src/file_a.c: Update Frama-C annotations Christophe Grenier 2021-06-03 14:01:05 +0200
  • b0b8f70954 src/file_abr.c: Update Frama-C annotations Christophe Grenier 2021-06-03 13:54:19 +0200
  • b34f6dc1f5 src/file_ab.c: update Frama-C annotations Christophe Grenier 2021-06-03 13:52:07 +0200
  • 21bcf0d465 src/file_arj.c: update Frama-C annotations Christophe Grenier 2021-06-03 13:49:24 +0200
  • b3566526f5 apfs_common.c: add Frama-C annotations Christophe Grenier 2021-06-03 13:46:03 +0200
  • cd7b7032f6 TestDisk: detect APFS partition Christophe Grenier 2021-06-02 19:07:44 +0200
  • 8f11e3a897 src/file_xm.c: fix Frama-C annotations Christophe Grenier 2021-05-31 08:42:02 +0200
  • ecd31c56da src/filegen.[ch]: add Frama-C predicates Christophe Grenier 2021-05-31 08:41:06 +0200
  • 264d9db8b9 PhotoRec: use LBA when listing EFI GPT partitions as TestDisk does Christophe Grenier 2021-05-31 08:38:11 +0200
  • af0dc07652 src/file_zip.c: fix mimetype parsing, improve detection of epub Christophe Grenier 2021-05-21 12:01:35 +0200
  • 6d51ce0e8c Fix commit 65caf90a28 Christophe Grenier 2021-05-12 16:19:44 +0200
  • 3512538595 Merge branch 'farvardin' Christophe Grenier 2021-05-12 14:58:54 +0200
  • f7b0240de9 src/file_drw2.c: remove commented code and add Frama-C annotations Christophe Grenier 2021-05-12 14:57:37 +0200
  • 120a8ec79e Merge https://github.com/farvardin/testdisk into farvardin Christophe Grenier 2021-05-12 14:53:58 +0200
  • add9add609 src/ntfs_adv.c: add missing header Christophe Grenier 2021-05-09 09:01:25 +0200
  • 65caf90a28 src/common.h: add Frama-C annotations Christophe Grenier 2021-05-09 09:09:48 +0200
  • 6d6a90183c Update rc files to 2021 Christophe Grenier 2021-05-09 09:01:39 +0200
  • 12d7f9f096 compile.sh: add target aarch64-QNAP-linux-gnu Christophe Grenier 2021-05-09 08:46:39 +0200
  • 24ec21a9e1
         removing some bytes for the drw2 recognition farvardin 2021-04-30 16:32:05 +0200
  • 62a6c4569c
         adding micrografx designer drw format farvardin 2021-04-30 15:43:05 +0200
  • b19006725d qphotorec: add greek (el) language Christophe Grenier 2021-04-23 08:29:20 +0200
  • c4eb245d0e Update date to 2021 Christophe Grenier 2021-04-18 09:08:39 +0200
  • 174160bb65 qphotorec: Restrict path used to search for DLL to current directory Xavier DANEST 2021-04-18 09:00:29 +0200
  • 4b57665aeb win/*.conf must use Windows end of line Christophe Grenier 2021-04-18 08:52:37 +0200
  • 190b0c17d3 TestDisk: ask confirmation to stop searching for more partitions Christophe Grenier 2021-04-16 17:02:54 +0200
  • 9601788a27 src/file_jpg.c: additional signature to avoid to recover a jpg from a mov Christophe Grenier 2021-04-16 16:59:55 +0200
  • e0a96e40d9 src/file_win.c: add Frama-C annotations Christophe Grenier 2021-04-16 16:57:21 +0200
  • 8158109939 src/file_png.c: add Frama-C annotations Christophe Grenier 2021-04-16 16:56:43 +0200
  • 0933bc5bb2 file_*.c: add various Frama-C annotations Christophe Grenier 2021-04-10 11:34:54 +0200
  • 328e7ea31a PhotoRec: check that file_check!=NULL before calling header_ignored() Christophe Grenier 2021-04-10 11:33:23 +0200
  • 5d67493079 src/file_vdi.c: add Frama-C annotations Christophe Grenier 2021-04-10 11:28:33 +0200
  • 871884c764 src/file_prc.c: add Frama-C annotations Christophe Grenier 2021-04-10 11:24:16 +0200
  • 7abb326532 src/file_wpb.c: add Frama-C annotations Christophe Grenier 2021-04-10 11:16:37 +0200
  • 6d8d201927 src/file_wim.c: add a Frama-C annotation Christophe Grenier 2021-04-10 11:13:38 +0200
  • 074168cb16 src/file_vault.c: add Frama-C annotations Christophe Grenier 2021-04-10 11:11:14 +0200
  • 8106c16d99 src/file_tar.c: improve Frama-C annotations Christophe Grenier 2021-04-10 11:05:49 +0200
  • cd787bb097 src/file_r3d.c: add Frama-C annotations Christophe Grenier 2021-04-10 11:04:41 +0200
  • 2f01b7d825 src/file_prt.c: add Frama-C annotations Christophe Grenier 2021-04-10 10:58:59 +0200
  • 6e7f734674 src/file_prd.c: add Frama-C annotations Christophe Grenier 2021-04-10 10:56:22 +0200
  • f429080064 src/file_pnm.c: add Frama-C annotations Christophe Grenier 2021-04-10 10:53:57 +0200
  • db677e3b32 src/file_mus.c: add Frama-C annotations Christophe Grenier 2021-04-10 10:48:37 +0200
  • 94a561554e src/file_hm.c: add Frama-C annotations Christophe Grenier 2021-04-10 10:45:27 +0200
  • 890256bfab src/file_dss.c: add Frama-C annotations Christophe Grenier 2021-04-10 10:41:42 +0200
  • 60d40b0962 src/file_DB.c: add Frama-C annotations Christophe Grenier 2021-04-10 10:26:27 +0200
  • b0ca4399a9 src/filegen.c: add more Frama-C annotations Christophe Grenier 2021-03-20 14:46:35 +0100
  • 6d4908eb2f src/file_wim.c: rewrite header_check_wim(), add Frama-C annotations Christophe Grenier 2021-03-20 09:07:51 +0100