summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* src/file_zip.c: recover application/vnd.adobe.indesign-idml-package as indd f...HEADmasterChristophe Grenier17 hours1-5/+12
* src/file_ext.c: improve Frama-C annotationsChristophe Grenier17 hours1-22/+11
* src/file_ext2.c: improve Frama-C annotationsChristophe Grenier3 days1-7/+3
* src/file_exs.c: improve Frama-C annotationsChristophe Grenier3 days1-16/+7
* src/file_exr.c: improve Frama-C annotationsChristophe Grenier3 days1-7/+3
* src/file_exe.c: improve Frama-C annotationsChristophe Grenier3 days1-13/+5
* src/file_evtx.c: improve Frama-C annotationsChristophe Grenier5 days1-6/+3
* src/file_evt.c: improve Frama-C annotationsChristophe Grenier5 days1-13/+5
* src/file_ess.c: add Frama-C annotationsChristophe Grenier5 days1-8/+3
* src/file_emf.c: improve Frama-C annotationsChristophe Grenier5 days1-20/+6
* src/file_elf.c: improve Frama-C annotationsChristophe Grenier5 days1-25/+9
* src/file_edb.c: improve Frama-C annotationsChristophe Grenier5 days1-8/+3
* src/file_ecryptfs.c: improve Frama-C annotationsChristophe Grenier5 days1-13/+9
* src/file_e01.c: improve Frama-C annotationsChristophe Grenier5 days1-11/+5
* src/file_dxf.c: improve Frama-C annotationsChristophe Grenier6 days1-16/+7
* src/file_dwg.c: improve Frama-C annotationsChristophe Grenier6 days1-8/+3
* src/file_dvr.c: improve Frama-C annotationsChristophe Grenier6 days1-7/+3
* src/file_dvi.c: improve Frama-C annotationsChristophe Grenier6 days1-7/+3
* src/file_dv.c: Fix Frama-C warningsChristophe Grenier6 days1-39/+31
* src/file_dump.c: improve Frama-C annotationsChristophe Grenier6 days1-7/+3
* src/file_dta.c: improve Frama-C annotationsChristophe Grenier6 days1-9/+3
* src/file_dst.c: improve Frama-C annotationsChristophe Grenier6 days1-7/+3
* src/file_ds_store.c: improve Frama-C annotationsChristophe Grenier6 days1-7/+3
* src/file_dss.c: improve Frama-C annotationsChristophe Grenier6 days1-6/+3
* src/file_dsc.c: improve Frama-C annotationsChristophe Grenier6 days1-8/+3
* src/file_ds2.c: improve Frama-C annotationsChristophe Grenier6 days1-7/+3
* src/file_drw.c: add Frama-C annotationsChristophe Grenier6 days1-12/+5
* src/file_drw2.c: add Frama-C annotationsChristophe Grenier6 days1-6/+3
* src/file_dpx.c: Add Frama-C annotationsChristophe Grenier6 days1-7/+3
* src/file_doc.c: improve Frama-C annotationsChristophe Grenier6 days1-23/+7
* src/file_dmp.c: add Frama-C annotationsChristophe Grenier6 days1-7/+3
* src/file_djv.c: improve Frama-C annotationsChristophe Grenier6 days1-7/+3
* src/file_dir.c: improve Frama-C annotationsChristophe Grenier6 days1-13/+11
* src/file_dim.c: improve Frama-C annotationsChristophe Grenier6 days1-8/+3
* src/file_dex.c: improve Frama-C annotationsChristophe Grenier6 days1-7/+3
* src/file_ddf.c: add Frama-C annotationsChristophe Grenier6 days1-21/+9
* src/file_dcm.c: improve Frama-C annotationsChristophe Grenier6 days1-8/+3
* src/file_dbn.c: improve Frama-C annotationsChristophe Grenier6 days1-7/+3
* src/file_dbf.c: improve Frama-C annotationsChristophe Grenier6 days1-7/+3
* src/file_dat.c: improve Frama-C annotationsChristophe Grenier6 days1-26/+9
* src/file_dar.c: improve Frama-C annotationsChristophe Grenier6 days1-7/+3
* src/file_dad.c: add Frama-C annotationsChristophe Grenier6 days1-14/+6
* src/file_d2s.c: improve Frama-C annotationsChristophe Grenier6 days1-8/+6
* src/file_cwk.c: improve Frama-C annotationsChristophe Grenier6 days1-13/+5
* src/file_ctg.c: improve Frama-C annotationsChristophe Grenier6 days1-8/+3
* src/file_csh.c: improve Frama-C annotationsChristophe Grenier6 days1-8/+3
* src/file_crw.c: improve Frama-C annotationsChristophe Grenier6 days1-7/+9
* src/file_cpi.c: improve Frama-C annotationsChristophe Grenier6 days1-8/+3
* src/file_cow.c: improve Frama-C annotationsChristophe Grenier7 days1-13/+5
* src/file_bmp.c: fix Frama-C annotationsChristophe Grenier7 days3-21/+22