summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* file_*.c: add various Frama-C annotationsHEADmasterChristophe Grenier18 hours17-37/+42
* PhotoRec: check that file_check!=NULL before calling header_ignored()Christophe Grenier18 hours12-19/+43
* src/file_vdi.c: add Frama-C annotationsChristophe Grenier18 hours1-45/+58
* src/file_prc.c: add Frama-C annotationsChristophe Grenier18 hours1-29/+39
* src/file_wpb.c: add Frama-C annotationsChristophe Grenier18 hours1-10/+21
* src/file_wim.c: add a Frama-C annotationChristophe Grenier18 hours1-0/+1
* src/file_vault.c: add Frama-C annotationsChristophe Grenier18 hours1-22/+46
* src/file_tar.c: improve Frama-C annotationsChristophe Grenier18 hours1-29/+33
* src/file_r3d.c: add Frama-C annotationsChristophe Grenier18 hours1-58/+97
* src/file_prt.c: add Frama-C annotationsChristophe Grenier18 hours1-14/+36
* src/file_prd.c: add Frama-C annotationsChristophe Grenier18 hours1-11/+21
* src/file_pnm.c: add Frama-C annotationsChristophe Grenier19 hours1-10/+41
* src/file_mus.c: add Frama-C annotationsChristophe Grenier19 hours1-13/+35
* src/file_hm.c: add Frama-C annotationsChristophe Grenier19 hours1-9/+21
* src/file_dss.c: add Frama-C annotationsChristophe Grenier19 hours1-16/+28
* src/file_DB.c: add Frama-C annotationsChristophe Grenier19 hours1-0/+11
* src/filegen.c: add more Frama-C annotationsChristophe Grenier2021-03-201-1/+5
* src/file_wim.c: rewrite header_check_wim(), add Frama-C annotationsChristophe Grenier2021-03-201-47/+93
* src/file_zpr.c: add Frama-C annotationsChristophe Grenier2021-03-201-0/+12
* src/file_zip.c: Add more Frama-C annotationsChristophe Grenier2021-03-191-74/+105
* src/file_zip.c: add Frama-C assigns clause to zip_parse_file_entry_fnChristophe Grenier2021-03-191-11/+24
* src/file_zip.c: exit zip_parse_file_entry_fn() when an extension isChristophe Grenier2021-03-181-72/+70
* src/file_zip.c: remove krita parameterChristophe Grenier2021-03-181-13/+5
* src/file_zip.c: move some redundant code into zip_parse_parse_entry_mimetype()Christophe Grenier2021-03-181-57/+50
* src/file_zip.c: move several static variables to the topChristophe Grenier2021-03-181-5/+4
* src/file_zip.c: move structure to the topChristophe Grenier2021-03-181-38/+53
* src/file_zcode.c: add Frama-C annotationsChristophe Grenier2021-03-151-11/+22
* src/file_z2d.c: add Frama-C annotationsChristophe Grenier2021-03-151-15/+21
* src/file_xz.c: add Frama-C annotationsChristophe Grenier2021-03-151-14/+34
* src/file_xv.c: add Frama-C annotationsChristophe Grenier2021-03-151-11/+21
* src/file_xsv.c: add Frama-C annotationsChristophe Grenier2021-03-141-15/+25
* src/file_xpt.c: add Frama-C annotationsChristophe Grenier2021-03-141-24/+36
* src/file_xml.c: fix problems reported by Frama-CChristophe Grenier2021-03-141-43/+66
* src/file_xm.c: Add Frama-C annotationsChristophe Grenier2021-03-141-60/+123
* src/file_xfs.c: add Frama-C annotationsChristophe Grenier2021-03-144-124/+184
* src/file_xfi.c: add Frama-C annotationsChristophe Grenier2021-03-141-13/+24
* src/file_xcf.c: add Frama-C annotationsChristophe Grenier2021-03-141-16/+28
* src/file_xar.c: add Frama-C annotationsChristophe Grenier2021-03-141-15/+26
* src/file_x4a.c: add Frama-C annotationsChristophe Grenier2021-03-141-36/+53
* src/file_x3i.c: add Frama-C annotationsChristophe Grenier2021-03-141-11/+22
* src/file_x3f.c: add Frama-C annotationsChristophe Grenier2021-03-141-28/+39
* src/file_wv.c: fix problems reported by Frama-CChristophe Grenier2021-03-141-53/+76
* src/file_wtv.c: add Frama-C annotationsChristophe Grenier2021-03-141-20/+27
* src/file_wpd.c: add Frama-C annotationsChristophe Grenier2021-03-141-40/+50
* src/file_woff.c: add Frama-C annotationsChristophe Grenier2021-03-141-33/+47
* src/file_wnk.c: add Frama-C annotationsChristophe Grenier2021-03-141-10/+21
* src/file_wmf.c: avoid integer overflow in wmf_check_meta_header(), add Frama-...Christophe Grenier2021-03-141-32/+55
* src/file_wld.c: add Frama-C annotationsChristophe Grenier2021-03-141-26/+40
* src/file_wks.c: add Frama-C annotationsChristophe Grenier2021-03-141-14/+35
* Move UTFsize() from src/file_txt.c to src/utfsize.cChristophe Grenier2021-03-145-115/+157