Christophe Grenier d585a2d924 src/file_dir.c: update frama-c annotations		2021-01-29 19:04:51 +01:00
..
gnome
lang
addpart.c
addpart.h
addpartn.c	Disable some code sections for frama-c	2021-01-06 18:59:37 +01:00
addpartn.h	Disable some code sections for frama-c	2021-01-06 18:59:37 +01:00
adv.c	New prototype for ask_location() and td_getcwd()	2020-12-06 14:19:01 +01:00
adv.h
alignio.h
analyse.c	sysv: use unsigned int when checking the signature	2020-11-27 18:47:59 +01:00
analyse.h
askloc.c	New prototype for ask_location() and td_getcwd()	2020-12-06 14:19:01 +01:00
askloc.h	Disable some code sections for frama-c	2021-01-06 18:59:37 +01:00
autoset.c
autoset.h
bfs.c
bfs.h
bsd.c
bsd.h
btrfs.c
btrfs.h
chgarch.c
chgarch.h
chgarchn.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
chgarchn.h	Disable some code sections for frama-c	2021-01-06 18:59:37 +01:00
chgtype.c
chgtype.h
chgtypen.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
chgtypen.h
common.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
common.h
cramfs.c
cramfs.h
crc.c
crc.h
dfxml.c	Disable some code sections for frama-c	2021-01-06 18:59:37 +01:00
dfxml.h	Disable some code sections for frama-c	2021-01-06 18:59:37 +01:00
dimage.c
dimage.h
dir.c
dir.h
dir_common.h
dirn.c	New prototype for ask_location() and td_getcwd()	2020-12-06 14:19:01 +01:00
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: use uint8_t instead of int8_t for name and ext	2020-11-27 18:54:03 +01:00
fat_dir.c	fat: use uint8_t instead of int8_t for name and ext	2020-11-27 18:54:03 +01:00
fat_dir.h
fat_unformat.c
fat_unformat.h
fatn.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
fatn.h
fatp.c	src/fatp.c: remove useless prototypes	2020-11-01 13:27:21 +01:00
fatp.h
fatx.c
fatx.h
fidentify.c	src/log.c: call dup2() in log_open()	2020-11-27 18:37:43 +01:00
file_1cd.c
file_3dm.c
file_3ds.c
file_7z.c
file_a.c
file_ab.c	src/file_ab.c: fix frama-c warning in data_check_addressbook()	2021-01-29 18:08:54 +01:00
file_abr.c	src/file_abr.c: fix frama-c warning in data_check_abr()	2021-01-29 17:39:43 +01:00
file_acb.c
file_ace.c
file_ado.c
file_afdesign.c
file_ahn.c
file_aif.c
file_all.c
file_als.c
file_amd.c
file_amr.c	src/file_amr.c: fix frama-c warning in data_check_amr()	2021-01-29 18:22:48 +01:00
file_apa.c
file_ape.c
file_apple.c
file_ari.c
file_arj.c
file_asf.c	src/file_asf.c: header check was too strong and rejecting valid files.	2020-10-11 11:02:53 +02:00
file_asl.c
file_asm.c
file_atd.c
file_au.c
file_axp.c	src/file_axp.c: fix frama-c warnings in data_check_axp()	2021-01-29 18:29:00 +01:00
file_axx.c
file_bac.c	src/file_bac.c: fix frama-c warnings in data_check_bac()	2021-01-29 18:33:39 +01:00
file_bdm.c
file_berkeley.c
file_bfa.c
file_bim.c
file_bin.c
file_binvox.c
file_bkf.c
file_bld.c	src/file_bld.c: fix frama-c warnings in data_check_*()	2021-01-29 18:54:53 +01:00
file_bmp.c
file_bpg.c
file_bvr.c
file_bz2.c
file_c4d.c
file_cab.c
file_caf.c
file_cam.c
file_catdrawing.c
file_cdt.c
file_che.c
file_chm.c
file_class.c
file_cm.c
file_compress.c
file_cow.c
file_cpi.c
file_crw.c
file_csh.c
file_ctg.c
file_cwk.c
file_d2s.c
file_dad.c	src/file_dad.c: fix frama-c warnings in data_check_dad()	2021-01-29 18:55:31 +01:00
file_dar.c
file_dat.c
file_DB.c
file_dbf.c
file_dbn.c
file_dcm.c
file_ddf.c
file_dex.c
file_dim.c
file_dir.c	src/file_dir.c: update frama-c annotations	2021-01-29 19:04:51 +01:00
file_djv.c
file_dmp.c
file_doc.c	src/file_doc.c: identify more Thumbs.db files	2020-10-11 11:03:49 +02:00
file_doc.h
file_dpx.c
file_drw.c
file_ds2.c
file_ds_store.c
file_dsc.c
file_dss.c
file_dst.c
file_dta.c
file_dump.c
file_dv.c
file_dvi.c
file_dvr.c
file_dwg.c
file_dxf.c
file_e01.c
file_ecryptfs.c
file_edb.c
file_elf.c
file_emf.c
file_ess.c
file_evt.c
file_evtx.c
file_exe.c
file_exr.c
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	src/file_fits.c: small steps to make the parser more frama-c friendly.	2020-10-28 19:12:28 +01: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_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	src/file_gif.c: hide frama-c warning	2020-10-24 09:00:27 +02:00
file_gm6.c
file_gp2.c
file_gp5.c
file_gpg.c
file_gpx.c
file_gsm.c
file_gz.c
file_gz.h
file_hdf.c
file_hdr.c
file_hds.c
file_hfsp.c
file_hm.c
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	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
file_jpg.h
file_jsonlz4.c
file_kdb.c
file_kdbx.c
file_key.c
file_ldf.c
file_list.c	PhotoRec: recover Doom .wad files	2021-01-06 18:52:23 +01:00
file_lit.c
file_lnk.c	src/file_lnk.c: fix parser	2021-01-29 17:38:41 +01:00
file_logic.c
file_lso.c
file_luks.c
file_lxo.c
file_lzh.c
file_lzo.c
file_m2ts.c
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	src/file_mkv.c: rewrite mkv parser	2020-10-25 16:23:47 +01:00
file_mlv.c
file_mobi.c
file_mov.c
file_mp3.c
file_mpg.c
file_mpl.c
file_mrw.c
file_msa.c
file_mus.c
file_mxf.c
file_myo.c
file_mysql.c
file_nd2.c
file_nds.c
file_nes.c
file_njx.c
file_nk2.c
file_nsf.c
file_oci.c
file_ogg.c
file_one.c
file_orf.c
file_paf.c
file_pap.c
file_par2.c
file_pcap.c
file_pcb.c
file_pct.c
file_pcx.c
file_pdb.c
file_pdf.c
file_pds.c
file_pf.c
file_pfx.c
file_pgdump.c
file_plist.c
file_plr.c
file_plt.c
file_png.c
file_pnm.c
file_prc.c
file_prd.c
file_prt.c
file_ps.c
file_psb.c
file_psd.c
file_psf.c
file_psp.c
file_pst.c
file_ptb.c
file_ptf.c
file_pyc.c
file_pzf.c
file_pzh.c
file_qbb.c
file_qdf.c
file_qkt.c
file_qxd.c
file_r3d.c
file_ra.c
file_raf.c
file_rar.c
file_raw.c
file_rdc.c
file_reg.c
file_res.c
file_rfp.c
file_riff.c
file_rlv.c
file_rm.c
file_rns.c
file_rpm.c
file_rw2.c
file_rx2.c
file_save.c
file_sdsk.c
file_ses.c
file_sgcta.c
file_shn.c
file_sib.c
file_sig.c
file_sit.c
file_skd.c
file_skp.c
file_snag.c
file_sp3.c	src/file_sp3.c: hide frama-c warning	2020-10-12 17:45:54 +02:00
file_sp3.h
file_spe.c
file_spf.c	src/file_spf.c: fix frama-c warnings	2020-10-12 17:40:49 +02:00
file_spss.c
file_sql.c
file_sqm.c
file_steuer2014.c
file_stl.c	src/file_stl.c: fix filesize	2020-10-12 17:39:32 +02:00
file_stu.c
file_studio.c
file_swf.c	src/file_swf.c: Check scriptLen in compressed swf header	2020-11-17 08:48:17 +01:00
file_tar.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
file_tar.h	PhotoRec: fix tar recovery	2020-10-17 14:46:55 +02:00
file_tax.c
file_template.c
file_tg.c
file_tib.c	src/file_tib.c: fix frama-c warnings in file_check_tib2()	2020-10-18 08:19:43 +02:00
file_tiff.c	Fix "make frama-c-fidentify-rw2"	2020-10-11 11:02:09 +02:00
file_tiff.h	Fix "make frama-c-fidentify-rw2"	2020-10-11 11:02:09 +02:00
file_tiff_be.c	Fix "make frama-c-fidentify-rw2"	2020-10-11 11:02:09 +02:00
file_tiff_le.c	Fix "make frama-c-fidentify-rw2"	2020-10-11 11:02:09 +02:00
file_tivo.c
file_torrent.c
file_tph.c
file_tpl.c
file_ttf.c	src/file_ttf.c: Fix frama-c warnings	2020-10-24 09:05:07 +02:00
file_txt.c	src/file_txt.c: try to be more frama-c friendly	2020-11-01 13:34:13 +01:00
file_txt.h
file_tz.c
file_v2i.c
file_vault.c
file_vdi.c
file_vdj.c
file_veg.c
file_vfb.c
file_vib.c
file_vmdk.c	src/file_vmdk.c: remove unused l1_entry_sectors variable	2020-11-01 13:26:59 +01:00
file_vmg.c
file_wad.c	PhotoRec: recover Doom .wad files	2021-01-06 18:52:23 +01:00
file_wallet.c
file_wdp.c
file_wee.c
file_wim.c
file_win.c
file_wks.c
file_wld.c
file_wmf.c
file_wnk.c
file_woff.c
file_wpb.c
file_wpd.c
file_wtv.c
file_wv.c
file_x3f.c
file_x3i.c
file_x4a.c	src/file_x4a.c: add frama-c annotations	2020-10-24 09:08:37 +02:00
file_xar.c	src/file_xar.c: recover xar archive using sha512 to checksum data	2020-10-24 09:09:34 +02:00
file_xcf.c
file_xfi.c
file_xfs.c	src/file_xfs.c: fix Frama-c warnings	2020-10-24 09:11:46 +02:00
file_xm.c	src/file_xm.c: fix frama-c warnings	2020-10-24 09:12:29 +02:00
file_xml.c
file_xpt.c
file_xsv.c
file_xv.c
file_xz.c
file_z2d.c
file_zcode.c
file_zip.c	PhotoRec: recover bbdoc files (zip archives)	2021-01-06 19:19:50 +01:00
file_zpr.c
filegen.c	file_allow_nl(): add assigns frama-c annotation	2020-10-24 08:57:47 +02:00
filegen.h	file_allow_nl(): add assigns frama-c annotation	2020-10-24 08:57:47 +02:00
fnctdsk.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
fnctdsk.h
fuzzerfidentify.cpp
geometry.c
geometry.h
geometryn.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
geometryn.h	Disable some code sections for frama-c	2021-01-06 18:59:37 +01:00
gfs2.c
gfs2.h
godmode.c	src/godmode.c: try to be more static parser friendly	2020-11-01 13:28:37 +01:00
godmode.h
guid_cmp.h
guid_cpy.h
hdaccess.c	Disable some code sections for frama-c	2021-01-06 18:59:37 +01:00
hdaccess.h
hdcache.c
hdcache.h
hdwin32.c
hdwin32.h
hfs.c
hfs.h
hfsp.c
hfsp.h
hidden.c
hidden.h
hiddenn.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
hiddenn.h	Disable some code sections for frama-c	2021-01-06 18:59:37 +01:00
hpa_dco.c
hpa_dco.h
hpfs.c
hpfs.h
icon_ph.rc
icon_qph.rc
icon_tst.rc
intrf.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
intrf.h	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
intrface.c
intrface.h
intrfn.c
intrfn.h
io_redir.c
io_redir.h
iso.c
iso.h
iso9660.h
jfs.c	src/jfs.c: prevent a potential overflow when calculating the partition	2020-10-11 11:04:50 +02:00
jfs.h
jfs_superblock.h
lang.h
list.h
list_sort.c
list_sort.h
log.c	Do not return the file handle when calling log_open() and log_open_default()	2020-11-27 19:19:33 +01:00
log.h	Do not return the file handle when calling log_open() and log_open_default()	2020-11-27 19:19:33 +01:00
log_part.c
log_part.h
luks.c	src/luks.c: improve code readability	2020-11-27 18:51:45 +01:00
luks.h
lvm.c
lvm.h
Makefile.am	PhotoRec: recover Doom .wad files	2021-01-06 18:52:23 +01:00
md.c
md.h
memmem.h
misc.c
misc.h
msdos.c
msdos.h
netware.c
netware.h
next.c
next.h
nodisk.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
nodisk.h
ntfs.c	src/ntfs.c: fix a check in ntfs_attribheader()	2020-11-27 18:52:22 +01:00
ntfs.h
ntfs_adv.c
ntfs_dir.c
ntfs_dir.h
ntfs_fix.c
ntfs_fix.h
ntfs_inc.h
ntfs_io.c
ntfs_udl.c	New prototype for ask_location() and td_getcwd()	2020-12-06 14:19:01 +01:00
ntfs_udl.h
ntfs_utl.c
ntfs_utl.h
ntfsp.c
ntfsp.h
ole.h
partauto.c
partauto.h
partgpt.c
partgpt.h
partgptn.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
partgptn.h
partgptro.c
partgptw.c
parthumax.c
parthumax.h
parti386.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
parti386.h
parti386n.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
parti386n.h
partmac.c
partmac.h
partmacn.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
partmacn.h
partnone.c
partsun.c
partsun.h
partsunn.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
partsunn.h
partxbox.c
partxbox.h
partxboxn.c
partxboxn.h
pbanner.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
pblocksize.c
pblocksize.h
pdisksel.c
pdisksel.h
pdiskseln.c
pdiskseln.h
pe.h
pfree_whole.c
pfree_whole.h
phbf.c
phbf.h
phbs.c	PhotoRec: fix tar recovery	2020-10-17 14:46:55 +02:00
phbs.h
phcfg.c
phcfg.h
phcli.c
phcli.h
phmain.c	Disable some code sections for frama-c	2021-01-06 18:59:37 +01:00
phnc.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
phnc.h
photorec.c
photorec.h
photorec_64x64.png
photorec_check_header.h	PhotoRec: fix tar recovery	2020-10-17 14:46:55 +02:00
phrecn.c	New prototype for ask_location() and td_getcwd()	2020-12-06 14:19:01 +01:00
phrecn.h
pnext.h
poptions.c
poptions.h
ppartseln.c	New prototype for ask_location() and td_getcwd()	2020-12-06 14:19:01 +01:00
ppartseln.h
psearch.h
psearchn.c	Disable ncurses library when using frama-c	2020-11-01 13:29:29 +01:00
psearchn.h
qmainrec.cpp	src/log.c: call dup2() in log_open()	2020-11-27 18:37:43 +01:00
qphbs.cpp	PhotoRec: fix tar recovery	2020-10-17 14:46:55 +02:00
qphotorec.cpp
qphotorec.h
qphotorec.qrc
qphotorec_locale.qrc
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: use unsigned int when checking the signature	2020-11-27 18:47:59 +01:00
sysv.h
tanalyse.c
tanalyse.h
tbanner.c
tdelete.c
tdelete.h
tdiskop.c
tdiskop.h
tdisksel.c
tdisksel.h
testdisk.c	Do not return the file handle when calling log_open() and log_open_default()	2020-11-27 19:19:33 +01:00
texfat.c
texfat.h
thfs.c
thfs.h
tload.c
tload.h
tlog.c
tlog.h
tmbrcode.c
tmbrcode.h
tntfs.c
tntfs.h
toptions.c
toptions.h
tpartwr.c
tpartwr.h
types.h
ufs.c
ufs.h
unicode.c
unicode.h
vmfs.c
vmfs.h
wbfs.c
wbfs.h
win32.c
win32.h
xfs.c	src/xfs.c: improve code readability	2020-11-27 18:49:49 +01:00
xfs.h
zfs.c
zfs.h