luisgulo/testdisk
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
testdisk/src
History
Christophe Grenier 1c389d6fc5 src/file_exr.c: improve Frama-C annotations
2021-06-09 18:55:07 +02:00
..
gnome
lang qphotorec: add greek (el) language 2021-04-23 08:29:20 +02:00
addpart.c
addpart.h
addpartn.c
addpartn.h
adv.c
adv.h
alignio.h
analyse.c TestDisk: detect APFS partition 2021-06-02 19:07:44 +02:00
analyse.h
apfs.c TestDisk: detect APFS partition 2021-06-02 19:07:44 +02:00
apfs.h TestDisk: detect APFS partition 2021-06-02 19:07:44 +02:00
apfs_common.c apfs_common.c: add Frama-C annotations 2021-06-03 13:46:03 +02:00
apfs_common.h TestDisk: detect APFS partition 2021-06-02 19:07:44 +02:00
askloc.c
askloc.h
autoset.c
autoset.h
bfs.c
bfs.h
bsd.c
bsd.h
btrfs.c
btrfs.h
chgarch.c
chgarch.h
chgarchn.c
chgarchn.h
chgtype.c
chgtype.h
chgtypen.c
chgtypen.h
common.c
common.h TestDisk: detect APFS partition 2021-06-02 19:07:44 +02:00
cramfs.c
cramfs.h
crc.c
crc.h
dfxml.c
dfxml.h
dimage.c
dimage.h
dir.c
dir.h
dir_common.h
dirn.c
dirn.h
dirpart.c
dirpart.h
diskacc.c
diskacc.h
diskcapa.c
diskcapa.h
edit.c
edit.h
ewf.c
ewf.h
exfat.c
exfat.h
exfat_dir.c
exfat_dir.h
exfatp.c
exfatp.h
ext2.c
ext2.h
ext2_common.c
ext2_common.h
ext2_dir.c
ext2_dir.h
ext2_inc.h
ext2_sb.c
ext2_sb.h
ext2_sbn.c
ext2_sbn.h
ext2grp.c
ext2grp.h
ext2p.c
ext2p.h
f2fs.c
f2fs.h
f2fs_fs.h
fat.c
fat.h
fat1x.c
fat1x.h
fat32.c
fat32.h
fat_adv.c
fat_adv.h
fat_cluster.c
fat_cluster.h
fat_common.c
fat_common.h
fat_dir.c
fat_dir.h
fat_unformat.c
fat_unformat.h
fatn.c
fatn.h
fatp.c
fatp.h
fatx.c
fatx.h
fidentify.c src/fidentify.c: call file_rename_*() when available but only for 2021-06-05 19:31:35 +02:00
file_1cd.c
file_3dm.c
file_3ds.c
file_7z.c
file_a.c src/file_a.c: Update Frama-C annotations 2021-06-03 14:01:05 +02:00
file_ab.c src/file_ab.c: update Frama-C annotations 2021-06-03 13:52:07 +02:00
file_abr.c src/file_abr.c: Update Frama-C annotations 2021-06-03 13:54:19 +02:00
file_acb.c src/file_acb.c: Update Frama-C annotations 2021-06-04 08:08:52 +02:00
file_ace.c src/file_ace.c: Improve Frama-C annotations 2021-06-06 11:26:08 +02:00
file_ado.c src/file_ado.c: Update FRama-C annotations 2021-06-05 10:22:43 +02:00
file_afdesign.c src/file_afdesign.c: improve Frama-C annotations 2021-06-05 19:32:57 +02:00
file_ahn.c src/file_ahn.c: Improve Frama-C annotations 2021-06-05 19:33:57 +02:00
file_aif.c src/file_aif.c: improve Frama-C annotations 2021-06-05 19:36:48 +02:00
file_all.c src/file_all.c: Improve Frama-C annotations 2021-06-05 19:37:39 +02:00
file_als.c src/file_als.c: Improve Frama-C annotations 2021-06-06 08:49:26 +02:00
file_amd.c src/file_amd.c: Improve Frama-C annotations 2021-06-06 10:01:28 +02:00
file_amr.c src/file_amr.c: Improve Frama-C annotations 2021-06-06 11:28:41 +02:00
file_apa.c src/file_apa.c: Improve Frama-C annotations 2021-06-06 11:32:05 +02:00
file_ape.c src/file_ape.c: improve Frama-C annotations 2021-06-06 11:34:10 +02:00
file_apple.c src/file_apple.c: Improve Frama-C annotations 2021-06-06 11:38:26 +02:00
file_ari.c src/file_ari.c: Improve Frama-C annotations 2021-06-06 13:17:06 +02:00
file_arj.c src/file_arj.c: update Frama-C annotations 2021-06-03 13:49:24 +02:00
file_asf.c src/file_asf.c: Improve Frama-C annotations 2021-06-06 13:21:03 +02:00
file_asl.c src/file_asl.c: Improve Frama-C annotations 2021-06-06 13:24:36 +02:00
file_asm.c src/file_asm.c: Improve Frama-C annotations 2021-06-06 13:29:27 +02:00
file_atd.c src/file_atd.c: Improve Frama-C annotations 2021-06-06 13:36:35 +02:00
file_au.c src/file_au.c: Improve Frama-C annotations 2021-06-06 13:40:22 +02:00
file_axp.c src/file_axp.c: Improve Frama-C annotations 2021-06-06 13:44:06 +02:00
file_axx.c src/file_axx.c: Fix Frama-C warnings 2021-06-06 14:11:52 +02:00
file_bac.c src/file_bac.c: improve Frama-C annotations 2021-06-06 14:19:20 +02:00
file_bdm.c src/file_bdm.c: improve Frama-C annotations 2021-06-06 14:22:22 +02:00
file_berkeley.c src/file_berkeley.c: update Frama-C annotations 2021-06-06 14:29:39 +02:00
file_bfa.c src/file_bfa.c: Improve Frama-C annotations 2021-06-06 14:36:13 +02:00
file_bim.c src/file_bim.c: improve Frama-C annotations 2021-06-06 14:40:32 +02:00
file_bin.c src/file_bin.c: improve Frama-C annotations 2021-06-06 14:42:59 +02:00
file_binvox.c src/file_binvox.c: improve Frama-C annotations 2021-06-06 14:46:13 +02:00
file_bkf.c src/file_bkf.c: improve Frama-C annotations 2021-06-06 14:50:07 +02:00
file_bld.c src/file_bld.c: improve Frama-C annotations 2021-06-06 14:52:34 +02:00
file_bmp.c src/file_bmp.c: fix Frama-C annotations 2021-06-06 16:22:23 +02:00
file_bpg.c src/file_bpg.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
file_bvr.c src/file_bvr.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
file_bz2.c src/file_bz2.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
file_c4d.c src/file_c4d.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
file_cab.c src/file_cab.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
file_caf.c src/file_caf.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
file_cam.c src/file_cam.c: add Frama-C annotations 2021-06-06 16:20:24 +02:00
file_catdrawing.c src/file_catdrawing.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
file_cdt.c src/file_cdt.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
file_che.c src/file_che.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
file_chm.c src/file_chm.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
file_class.c src/file_class.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
file_cm.c src/file_cm.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
file_compress.c src/file_compress.c: improve Frama-C annotations 2021-06-06 16:20:24 +02:00
file_cow.c src/file_cow.c: improve Frama-C annotations 2021-06-06 16:23:24 +02:00
file_cpi.c src/file_cpi.c: improve Frama-C annotations 2021-06-06 16:26:26 +02:00
file_crw.c src/file_crw.c: improve Frama-C annotations 2021-06-06 16:29:43 +02:00
file_csh.c src/file_csh.c: improve Frama-C annotations 2021-06-06 16:32:03 +02:00
file_ctg.c src/file_ctg.c: improve Frama-C annotations 2021-06-06 16:34:40 +02:00
file_cwk.c src/file_cwk.c: improve Frama-C annotations 2021-06-06 16:37:19 +02:00
file_d2s.c src/file_d2s.c: improve Frama-C annotations 2021-06-06 16:54:55 +02:00
file_dad.c src/file_dad.c: add Frama-C annotations 2021-06-06 16:59:59 +02:00
file_dar.c src/file_dar.c: improve Frama-C annotations 2021-06-06 17:02:24 +02:00
file_dat.c src/file_dat.c: improve Frama-C annotations 2021-06-06 17:11:37 +02:00
file_DB.c src/file_DB.c: add Frama-C annotations 2021-04-10 10:26:27 +02:00
file_dbf.c src/file_dbf.c: improve Frama-C annotations 2021-06-06 17:17:40 +02:00
file_dbn.c src/file_dbn.c: improve Frama-C annotations 2021-06-06 17:21:59 +02:00
file_dcm.c src/file_dcm.c: improve Frama-C annotations 2021-06-06 17:24:16 +02:00
file_ddf.c src/file_ddf.c: add Frama-C annotations 2021-06-06 17:31:16 +02:00
file_dex.c src/file_dex.c: improve Frama-C annotations 2021-06-06 17:34:32 +02:00
file_dim.c src/file_dim.c: improve Frama-C annotations 2021-06-06 17:36:51 +02:00
file_dir.c src/file_dir.c: improve Frama-C annotations 2021-06-06 17:39:45 +02:00
file_djv.c src/file_djv.c: improve Frama-C annotations 2021-06-06 17:48:46 +02:00
file_dmp.c src/file_dmp.c: add Frama-C annotations 2021-06-06 17:59:42 +02:00
file_doc.c src/file_doc.c: improve Frama-C annotations 2021-06-06 18:06:27 +02:00
file_doc.h
file_dpx.c src/file_dpx.c: Add Frama-C annotations 2021-06-06 18:07:39 +02:00
file_drw.c src/file_drw.c: add Frama-C annotations 2021-06-06 18:18:28 +02:00
file_drw2.c src/file_drw2.c: add Frama-C annotations 2021-06-06 18:12:41 +02:00
file_ds2.c src/file_ds2.c: improve Frama-C annotations 2021-06-07 12:47:30 +02:00
file_ds_store.c src/file_ds_store.c: improve Frama-C annotations 2021-06-07 13:13:52 +02:00
file_dsc.c src/file_dsc.c: improve Frama-C annotations 2021-06-07 13:09:22 +02:00
file_dss.c src/file_dss.c: improve Frama-C annotations 2021-06-07 13:11:47 +02:00
file_dst.c src/file_dst.c: improve Frama-C annotations 2021-06-07 13:16:04 +02:00
file_dta.c src/file_dta.c: improve Frama-C annotations 2021-06-07 13:21:57 +02:00
file_dump.c src/file_dump.c: improve Frama-C annotations 2021-06-07 13:27:00 +02:00
file_dv.c src/file_dv.c: Fix Frama-C warnings 2021-06-07 13:31:12 +02:00
file_dvi.c src/file_dvi.c: improve Frama-C annotations 2021-06-07 13:33:35 +02:00
file_dvr.c src/file_dvr.c: improve Frama-C annotations 2021-06-07 13:36:23 +02:00
file_dwg.c src/file_dwg.c: improve Frama-C annotations 2021-06-07 13:39:06 +02:00
file_dxf.c src/file_dxf.c: improve Frama-C annotations 2021-06-07 13:41:02 +02:00
file_e01.c src/file_e01.c: improve Frama-C annotations 2021-06-08 12:28:44 +02:00
file_ecryptfs.c src/file_ecryptfs.c: improve Frama-C annotations 2021-06-08 13:18:50 +02:00
file_edb.c src/file_edb.c: improve Frama-C annotations 2021-06-08 13:31:18 +02:00
file_elf.c src/file_elf.c: improve Frama-C annotations 2021-06-08 13:38:41 +02:00
file_emf.c src/file_emf.c: improve Frama-C annotations 2021-06-08 13:40:12 +02:00
file_ess.c src/file_ess.c: add Frama-C annotations 2021-06-08 13:42:42 +02:00
file_evt.c src/file_evt.c: improve Frama-C annotations 2021-06-08 13:52:17 +02:00
file_evtx.c src/file_evtx.c: improve Frama-C annotations 2021-06-08 13:54:30 +02:00
file_exe.c src/file_exe.c: improve Frama-C annotations 2021-06-09 18:52:49 +02:00
file_exr.c src/file_exr.c: improve Frama-C annotations 2021-06-09 18:55:07 +02:00
file_exs.c
file_ext.c
file_ext2.c
file_fat.c
file_fbf.c
file_fbk.c
file_fcp.c
file_fcs.c
file_fdb.c
file_fds.c
file_fh5.c
file_fh10.c
file_filevault.c
file_fit.c
file_fits.c file_*.c: add various Frama-C annotations 2021-04-10 11:34:54 +02:00
file_flac.c
file_flp.c
file_flv.c
file_fm.c
file_fob.c
file_fos.c
file_found.c
file_found.h file_*.c: add various Frama-C annotations 2021-04-10 11:34:54 +02:00
file_fp5.c
file_fp7.c
file_freeway.c
file_frm.c
file_fs.c
file_fwd.c
file_gam.c
file_gct.c
file_gho.c
file_gi.c
file_gif.c
file_gm6.c
file_gp2.c
file_gp5.c
file_gpg.c
file_gpx.c
file_gsm.c PhotoRec: check that file_check!=NULL before calling header_ignored() 2021-04-10 11:33:23 +02:00
file_gz.c file_*.c: add various Frama-C annotations 2021-04-10 11:34:54 +02:00
file_gz.h
file_hdf.c
file_hdr.c
file_hds.c
file_hfsp.c
file_hm.c src/file_hm.c: add Frama-C annotations 2021-04-10 10:45:27 +02:00
file_hr9.c
file_http.c
file_ibd.c
file_icc.c
file_icns.c
file_ico.c
file_idx.c
file_ifo.c
file_imb.c
file_indd.c
file_info.c
file_iso.c
file_it.c
file_itu.c
file_jks.c
file_jpg.c src/file_jpg.c: additional signature to avoid to recover a jpg from a mov 2021-04-16 16:59:55 +02:00
file_jpg.h
file_jsonlz4.c
file_kdb.c
file_kdbx.c
file_key.c
file_ldf.c
file_list.c adding micrografx designer drw format 2021-04-30 15:43:05 +02:00
file_lit.c
file_lnk.c
file_logic.c
file_lso.c
file_luks.c
file_lxo.c
file_lzh.c
file_lzo.c
file_m2ts.c PhotoRec: check that file_check!=NULL before calling header_ignored() 2021-04-10 11:33:23 +02:00
file_mat.c
file_max.c
file_mb.c
file_mcd.c
file_mdb.c
file_mdf.c
file_mdp.c
file_mfa.c
file_mfg.c
file_mft.c
file_mid.c
file_mig.c
file_mk5.c
file_mkv.c
file_mlv.c file_*.c: add various Frama-C annotations 2021-04-10 11:34:54 +02:00
file_mobi.c
file_mov.c PhotoRec: check that file_check!=NULL before calling header_ignored() 2021-04-10 11:33:23 +02:00
file_mp3.c PhotoRec: check that file_check!=NULL before calling header_ignored() 2021-04-10 11:33:23 +02:00
file_mpg.c PhotoRec: check that file_check!=NULL before calling header_ignored() 2021-04-10 11:33:23 +02:00
file_mpl.c
file_mrw.c
file_msa.c
file_mus.c src/file_mus.c: add Frama-C annotations 2021-04-10 10:48:37 +02:00
file_mxf.c
file_myo.c PhotoRec: check that file_check!=NULL before calling header_ignored() 2021-04-10 11:33:23 +02:00
file_mysql.c
file_nd2.c
file_nds.c
file_nes.c
file_njx.c
file_nk2.c
file_nsf.c src/file_nsf.c: add frama-c annotations 2021-02-25 17:36:27 +01:00
file_oci.c src/file_oci.c: add frama-c annotations 2021-02-25 20:02:32 +01:00
file_ogg.c PhotoRec: check that file_check!=NULL before calling header_ignored() 2021-04-10 11:33:23 +02:00
file_one.c src/file_one.c: add frama-c annotations 2021-02-26 07:59:35 +01:00
file_orf.c src/file_orf.c: add frama-c annotations 2021-02-26 08:00:20 +01:00
file_paf.c src/file_paf.c: add frama-c annotations 2021-02-27 10:20:22 +01:00
file_pap.c src/file_pap.c: add frama-c annotations 2021-02-27 10:21:05 +01:00
file_par2.c src/file_par2.c: fix problems reported by frama-c 2021-02-27 10:21:39 +01:00
file_pcap.c src/file_pcap.c: add frama-c annotations 2021-02-27 10:24:30 +01:00
file_pcb.c src/file_pcb.c: add frama-c annotations 2021-02-27 10:25:59 +01:00
file_pct.c src/file_pct.c: add frama-c annotations 2021-02-27 10:27:22 +01:00
file_pcx.c src/file_pcx.c: add frama-c annotations 2021-02-27 10:28:46 +01:00
file_pdb.c src/file_pdb.c: add Frama-C annotations 2021-02-27 10:31:31 +01:00
file_pdf.c src/file_pdf.c: fix problems reported by Frama-C 2021-02-27 10:44:20 +01:00
file_pds.c src/file_pds.c: add frama-c annotations 2021-02-27 10:47:07 +01:00
file_pf.c src/file_pf.c: improve Frama-C annotations 2021-02-27 10:50:18 +01:00
file_pfx.c src/file_pfx.c: add Frama-C annotations 2021-02-27 10:55:53 +01:00
file_pgdump.c src/file_pgdump.c: add Frama-C annotations 2021-02-27 12:41:37 +01:00
file_plist.c src/file_plist.c: add Frama-C annotations 2021-02-27 14:40:54 +01:00
file_plr.c src/file_plr.c: add Frama-C annotations 2021-02-27 15:28:32 +01:00
file_plt.c src/file_plt.c: add Frama-C annotations 2021-02-27 18:11:26 +01:00
file_png.c src/file_png.c: add Frama-C annotations 2021-04-16 16:56:43 +02:00
file_pnm.c src/file_pnm.c: add Frama-C annotations 2021-04-10 10:53:57 +02:00
file_prc.c src/file_prc.c: add Frama-C annotations 2021-04-10 11:24:16 +02:00
file_prd.c src/file_prd.c: add Frama-C annotations 2021-04-10 10:56:22 +02:00
file_prt.c src/file_prt.c: add Frama-C annotations 2021-04-10 10:58:59 +02:00
file_ps.c
file_psb.c src/file_psb.c, src/file_psd.c: Fix Photoshop file parsers 2021-02-28 11:56:04 +01:00
file_psd.c src/file_psb.c, src/file_psd.c: Fix Photoshop file parsers 2021-02-28 11:56:04 +01:00
file_psf.c src/file_psf.c: add Frama-C annotations 2021-02-28 12:33:30 +01:00
file_psp.c src/file_psp.c: add Frama-C annotations 2021-02-28 12:43:03 +01:00
file_pst.c src/file_pst.c: add Frama-C annotations 2021-02-28 15:01:39 +01:00
file_ptb.c src/file_ptb.c: add Frama-C annotations 2021-02-28 15:13:36 +01:00
file_ptf.c src/file_ptf.c: add Frama-C annotations 2021-02-28 15:19:18 +01:00
file_pyc.c src/file_pyc.c: add Frama-C annotations 2021-02-28 15:26:13 +01:00
file_pzf.c src/file_pzf.c: add Frama-C annotations 2021-02-28 15:36:42 +01:00
file_pzh.c src/file_pzh.c: add Frama-C annotations 2021-02-28 16:56:43 +01:00
file_qbb.c src/file_qbb.c: add Frama-C annotations 2021-02-28 16:59:17 +01:00
file_qdf.c src/file_qdf.c: add Frama-C annotations 2021-02-28 17:25:50 +01:00
file_qkt.c src/file_qkt.c: add Frama-C annotations 2021-02-28 17:28:17 +01:00
file_qxd.c src/file_qxd.c: add Frama-C annotations 2021-02-28 17:38:30 +01:00
file_r3d.c src/file_r3d.c: add Frama-C annotations 2021-04-10 11:04:41 +02:00
file_ra.c src/file_ra.c: add Frama-C annotations 2021-02-28 18:46:03 +01:00
file_raf.c src/file_raf.c: add Frama-C annotations 2021-02-28 19:25:22 +01:00
file_rar.c src/file_rar.c: add Frama-C annotations 2021-03-01 21:21:06 +01:00
file_raw.c src/file_raw.c: add Frama-C annotations 2021-03-01 21:23:34 +01:00
file_rdc.c src/file_rdc.c: add Frama-C annotations 2021-03-03 18:11:14 +01:00
file_reg.c
file_res.c src/file_res.c: add Frama-C annotations 2021-03-03 18:11:51 +01:00
file_rfp.c src/file_rfp.c: add Frama-C annotations 2021-03-03 18:14:24 +01:00
file_riff.c src/file_riff.c: add Frama-C annotations, stricter checks 2021-03-03 18:18:15 +01:00
file_riff.h src/file_riff.c: add Frama-C annotations, stricter checks 2021-03-03 18:18:15 +01:00
file_rlv.c src/file_rlv.c: add Frama-C annotations 2021-03-03 18:22:52 +01:00
file_rm.c src/file_rm.c: add Frama-C annotations 2021-03-03 18:23:26 +01:00
file_rns.c src/file_rns.c: add Frama-C annotations 2021-03-03 18:25:19 +01:00
file_rpm.c src/file_rpm.c: add Frama-C annotations 2021-03-03 18:59:28 +01:00
file_rw2.c src/file_rw2.c: add Frama-C annotations 2021-03-03 19:12:50 +01:00
file_rx2.c src/file_rx2.c: add Frama-C annotations 2021-03-03 19:35:12 +01:00
file_save.c src/file_save.c: add Frama-C annotations 2021-03-03 19:37:29 +01:00
file_sdsk.c src/file_sdsk.c: add Frama-C annotations 2021-03-03 19:39:46 +01:00
file_ses.c src/file_ses.c: add Frama-C annotations 2021-03-03 19:44:57 +01:00
file_sgcta.c src/file_sgcta.c: add Frama-C annotations 2021-03-05 13:31:55 +01:00
file_shn.c src/file_shn.c: add Frama-C annotations 2021-03-05 13:33:34 +01:00
file_sib.c src/file_sib.c: add Frama-C annotations 2021-03-05 13:35:06 +01:00
file_sig.c
file_sit.c src/file_sit.c: add Frama-C annotations 2021-03-05 13:37:46 +01:00
file_skd.c src/file_skd.c: add Frama-C annotations 2021-03-05 13:41:25 +01:00
file_skp.c src/file_skp.c: add Frama-C annotations 2021-03-05 18:13:10 +01:00
file_snag.c src/file_snag.c: add Frama-C annotations 2021-03-05 18:47:51 +01:00
file_sp3.c src/file_sp3.c: add Frama-C annotations - split the main function 2021-03-06 11:37:10 +01:00
file_sp3.h
file_spe.c src/file_spe.c: add Frama-C annotations 2021-03-06 13:49:10 +01:00
file_spf.c src/file_spf.c: add Frama-C annotations 2021-03-07 13:48:02 +01:00
file_spss.c src/file_spss.c: add Frama-C annotations 2021-03-07 14:04:50 +01:00
file_sql.c src/file_sql.c: add Frama-C annotations 2021-03-07 14:21:30 +01:00
file_sqm.c src/file_sqm.c: add Frama-C annotations 2021-03-07 14:21:55 +01:00
file_steuer2014.c src/file_steuer2014.c: add Frama-C annotations 2021-03-07 14:45:09 +01:00
file_stl.c src/file_stl.c: add Frama-C annotations 2021-03-05 13:33:05 +01:00
file_stu.c src/file_stu.c: add Frama-C annotations 2021-03-07 14:50:28 +01:00
file_studio.c src/file_studio.c: add Frama-C annotations 2021-03-07 15:08:19 +01:00
file_swf.c src/file_swf.c: add Frama-C "assigns" annotations 2021-03-07 15:14:40 +01:00
file_tar.c src/file_tar.c: improve Frama-C annotations 2021-04-10 11:05:49 +02:00
file_tar.h
file_tax.c src/file_tax.c: add Frama-C annotations 2021-03-07 15:30:57 +01:00
file_template.c file_*.c: add various Frama-C annotations 2021-04-10 11:34:54 +02:00
file_tg.c src/file_tg.c: add Frama-C annotations 2021-03-07 15:39:48 +01:00
file_tib.c src/file_tib.c: add Frama-C annotations 2021-03-07 16:09:43 +01:00
file_tiff.c file_*.c: add various Frama-C annotations 2021-04-10 11:34:54 +02:00
file_tiff.h src/file_wdp.c: add Frama-C annotations 2021-03-13 20:12:27 +01:00
file_tiff_be.c src/file_wdp.c: add Frama-C annotations 2021-03-13 20:12:27 +01:00
file_tiff_le.c PhotoRec: check that file_check!=NULL before calling header_ignored() 2021-04-10 11:33:23 +02:00
file_tivo.c file_*.c: add various Frama-C annotations 2021-04-10 11:34:54 +02:00
file_torrent.c src/file_torrent.c: add Frama-C annotations 2021-03-11 13:46:38 +01:00
file_tph.c src/file_tph.c: add Frama-C annotations 2021-03-11 14:09:42 +01:00
file_tpl.c src/file_tpl.c: add Frama-C annotations 2021-03-12 17:33:50 +01:00
file_ttf.c
file_txt.c Move UTFsize() from src/file_txt.c to src/utfsize.c 2021-03-14 11:01:02 +01:00
file_tz.c src/file_tz.c: add Frama-C annotations 2021-03-13 16:08:59 +01:00
file_v2i.c src/file_v2i.c: add Frama-C annotations 2021-03-13 16:16:11 +01:00
file_vault.c src/file_vault.c: add Frama-C annotations 2021-04-10 11:11:14 +02:00
file_vdi.c src/file_vdi.c: add Frama-C annotations 2021-04-10 11:28:33 +02:00
file_vdj.c src/file_vdj.c: add Frama-C annotations 2021-03-13 16:19:01 +01:00
file_veg.c src/file_veg.c: add Frama-C annotations 2021-03-13 16:20:43 +01:00
file_vfb.c src/file_vfb.c: add Frama-C annotations 2021-03-13 16:25:15 +01:00
file_vib.c src/file_vib.c: add Frama-C annotations 2021-03-13 16:29:05 +01:00
file_vmdk.c src/file_vmdk.c: add Frama-C annotations 2021-03-13 16:37:09 +01:00
file_vmg.c src/file_vmg.c: add Frama-C annotations 2021-03-13 16:37:53 +01:00
file_wad.c src/file_wad.c: add Frama-C annotations 2021-03-13 17:09:24 +01:00
file_wallet.c src/file_wallet.c: add Frama-C annotations 2021-03-13 17:54:20 +01:00
file_wdp.c src/file_wdp.c: add Frama-C annotations 2021-03-13 20:12:27 +01:00
file_wee.c src/file_wee.c: add Frama-C annotations 2021-03-13 20:15:13 +01:00
file_wim.c src/file_wim.c: add a Frama-C annotation 2021-04-10 11:13:38 +02:00
file_win.c src/file_win.c: add Frama-C annotations 2021-04-16 16:57:21 +02:00
file_wks.c src/file_wks.c: add Frama-C annotations 2021-03-14 11:49:34 +01:00
file_wld.c src/file_wld.c: add Frama-C annotations 2021-03-14 13:23:05 +01:00
file_wmf.c src/file_wmf.c: avoid integer overflow in wmf_check_meta_header(), add Frama-C annotations 2021-03-14 14:03:26 +01:00
file_wnk.c src/file_wnk.c: add Frama-C annotations 2021-03-14 14:05:19 +01:00
file_woff.c src/file_woff.c: add Frama-C annotations 2021-03-14 14:13:51 +01:00
file_wpb.c src/file_wpb.c: add Frama-C annotations 2021-04-10 11:16:37 +02:00
file_wpd.c src/file_wpd.c: add Frama-C annotations 2021-03-14 14:20:08 +01:00
file_wtv.c src/file_wtv.c: add Frama-C annotations 2021-03-14 14:25:38 +01:00
file_wv.c src/file_wv.c: fix problems reported by Frama-C 2021-03-14 14:58:10 +01:00
file_x3f.c src/file_x3f.c: add Frama-C annotations 2021-03-14 15:04:03 +01:00
file_x3i.c src/file_x3i.c: add Frama-C annotations 2021-03-14 15:05:15 +01:00
file_x4a.c src/file_x4a.c: add Frama-C annotations 2021-03-14 15:15:07 +01:00
file_xar.c src/file_xar.c: add Frama-C annotations 2021-03-14 15:16:38 +01:00
file_xcf.c src/file_xcf.c: add Frama-C annotations 2021-03-14 15:37:16 +01:00
file_xfi.c src/file_xfi.c: add Frama-C annotations 2021-03-14 15:44:42 +01:00
file_xfs.c src/file_xfs.c: add Frama-C annotations 2021-03-14 16:16:49 +01:00
file_xm.c src/file_xm.c: fix Frama-C annotations 2021-05-31 08:42:02 +02:00
file_xml.c src/file_xml.c: fix problems reported by Frama-C 2021-03-14 19:02:20 +01:00
file_xpt.c src/file_xpt.c: add Frama-C annotations 2021-03-14 19:18:33 +01:00
file_xsv.c src/file_xsv.c: add Frama-C annotations 2021-03-14 21:02:12 +01:00
file_xv.c src/file_xv.c: add Frama-C annotations 2021-03-15 17:31:33 +01:00
file_xz.c src/file_xz.c: add Frama-C annotations 2021-03-15 17:34:22 +01:00
file_z2d.c src/file_z2d.c: add Frama-C annotations 2021-03-15 19:08:34 +01:00
file_zcode.c src/file_zcode.c: add Frama-C annotations 2021-03-15 19:10:57 +01:00
file_zip.c src/file_zip.c: fix mimetype parsing, improve detection of epub 2021-05-21 12:01:35 +02:00
file_zpr.c src/file_zpr.c: add Frama-C annotations 2021-03-20 08:26:07 +01:00
filegen.c src/file_bmp.c: fix Frama-C annotations 2021-06-06 16:22:23 +02:00
filegen.h src/file_bmp.c: fix Frama-C annotations 2021-06-06 16:22:23 +02:00
fnctdsk.c
fnctdsk.h
fuzzerfidentify.cpp
geometry.c
geometry.h
geometryn.c
geometryn.h
gfs2.c
gfs2.h
godmode.c TestDisk: ask confirmation to stop searching for more partitions 2021-04-16 17:02:54 +02:00
godmode.h
guid_cmp.h
guid_cpy.h
hdaccess.c src/hdaccess.c: Do not use /dev/sdX anymore under cygwin 2021-06-05 20:11:25 +02:00
hdaccess.h
hdcache.c
hdcache.h
hdwin32.c
hdwin32.h
hfs.c
hfs.h
hfsp.c
hfsp.h
hfsp_struct.h
hidden.c
hidden.h
hiddenn.c
hiddenn.h
hpa_dco.c
hpa_dco.h
hpfs.c
hpfs.h
icon_ph.rc Update rc files to 2021 2021-05-09 22:46:55 +02:00
icon_qph.rc Update rc files to 2021 2021-05-09 22:46:55 +02:00
icon_tst.rc Update rc files to 2021 2021-05-09 22:46:55 +02:00
intrf.c
intrf.h
intrface.c
intrface.h
intrfn.c
intrfn.h
io_redir.c
io_redir.h
iso.c
iso.h
iso9660.h
jfs.c
jfs.h
jfs_superblock.h
lang.h
list.h
list_sort.c
list_sort.h
log.c
log.h
log_part.c
log_part.h
luks.c
luks.h
luks_struct.h
lvm.c
lvm.h
Makefile.am TestDisk: detect APFS partition 2021-06-02 19:07:44 +02:00
md.c
md.h
memmem.h src/file_snag.c: add Frama-C annotations 2021-03-05 18:47:51 +01:00
misc.c
misc.h
msdos.c
msdos.h
netware.c
netware.h
next.c
next.h
nodisk.c
nodisk.h
ntfs.c
ntfs.h
ntfs_adv.c src/ntfs_adv.c: add missing header 2021-05-09 22:52:40 +02:00
ntfs_adv.h src/ntfs_adv.c: add missing header 2021-05-09 22:52:40 +02:00
ntfs_dir.c
ntfs_dir.h
ntfs_fix.c
ntfs_fix.h
ntfs_inc.h
ntfs_io.c
ntfs_struct.h
ntfs_udl.c
ntfs_udl.h
ntfs_utl.c
ntfs_utl.h
ntfsp.c
ntfsp.h
ole.h
partauto.c
partauto.h
partgpt.c TestDisk: detect APFS partition 2021-06-02 19:07:44 +02:00
partgpt.h
partgptn.c
partgptn.h
partgptro.c
partgptw.c
parthumax.c
parthumax.h
parti386.c
parti386.h
parti386n.c
parti386n.h
partmac.c
partmac.h
partmacn.c
partmacn.h
partnone.c TestDisk: detect APFS partition 2021-06-02 19:07:44 +02:00
partsun.c
partsun.h
partsunn.c
partsunn.h
partxbox.c
partxbox.h
partxboxn.c
partxboxn.h
pbanner.c
pblocksize.c
pblocksize.h
pdisksel.c
pdisksel.h
pdiskseln.c PhotoRec: use LBA when listing EFI GPT partitions as TestDisk does 2021-05-31 08:38:11 +02:00
pdiskseln.h
pe.h
pfree_whole.c
pfree_whole.h
phbf.c
phbf.h
phbs.c
phbs.h
phcfg.c
phcfg.h
phcli.c
phcli.h
phmain.c
phnc.c
phnc.h
photorec.c
photorec.h
photorec_64x64.png
photorec_check_header.h
phrecn.c
phrecn.h
pnext.h
poptions.c
poptions.h
ppartseln.c
ppartseln.h
psearch.h
psearchn.c
psearchn.h
qmainrec.cpp
qphbs.cpp
qphotorec.cpp
qphotorec.h
qphotorec.qrc
qphotorec_locale.qrc qphotorec: add greek (el) language 2021-04-23 08:29:20 +02:00
qpsearch.cpp
refs.c
refs.h
rfs.c
rfs.h
rfs_dir.c
rfs_dir.h
savehdr.c
savehdr.h
sessionp.c
sessionp.h
setdate.c
setdate.h
sudo.c
sudo.h
sun.c
sun.h
suspend.c
suspend.h
suspend_no.c
swap.c
swap.h
sysv.c
sysv.h
tanalyse.c
tanalyse.h
tbanner.c
tdelete.c
tdelete.h
tdiskop.c
tdiskop.h
tdisksel.c
tdisksel.h
testdisk.c
texfat.c
texfat.h
thfs.c
thfs.h
tload.c
tload.h
tlog.c
tlog.h
tmbrcode.c
tmbrcode.h
tntfs.c src/ntfs_adv.c: add missing header 2021-05-09 22:52:40 +02:00
tntfs.h
toptions.c
toptions.h
tpartwr.c
tpartwr.h
types.h
ufs.c
ufs.h
unicode.c
unicode.h
utfsize.c Move UTFsize() from src/file_txt.c to src/utfsize.c 2021-03-14 11:01:02 +01:00
utfsize.h Move UTFsize() from src/file_txt.c to src/utfsize.c 2021-03-14 11:01:02 +01:00
vmfs.c
vmfs.h
wbfs.c
wbfs.h
win32.c
win32.h
xfs.c
xfs.h src/file_xfs.c: add Frama-C annotations 2021-03-14 16:16:49 +01:00
xfs_struct.h src/file_xfs.c: add Frama-C annotations 2021-03-14 16:16:49 +01:00
zfs.c
zfs.h