summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* src/file_xm.c: fix frama-c warningsHEADmasterChristophe Grenier42 hours1-5/+29
* src/file_xfs.c: fix Frama-c warningsChristophe Grenier42 hours1-4/+9
* src/file_xar.c: recover xar archive using sha512 to checksum dataChristophe Grenier43 hours1-5/+10
* src/file_x4a.c: add frama-c annotationsChristophe Grenier43 hours1-3/+11
* src/file_vmdk.c: stricter header checkChristophe Grenier43 hours1-15/+21
* src/file_ttf.c: Fix frama-c warningsChristophe Grenier43 hours1-8/+30
* src/file_gif.c: hide frama-c warningChristophe Grenier43 hours1-1/+3
* file_allow_nl(): add assigns frama-c annotationChristophe Grenier43 hours2-5/+10
* src/file_tib.c: fix frama-c warnings in file_check_tib2()Christophe Grenier8 days1-7/+11
* PhotoRec: fix tar recoveryChristophe Grenier9 days5-29/+93
* Fix "make fram-c-fidentify-swf"Christophe Grenier13 days1-1/+1
* src/file_sp3.c: hide frama-c warningChristophe Grenier13 days1-0/+2
* src/file_spf.c: fix frama-c warningsChristophe Grenier13 days1-3/+10
* src/file_stl.c: fix filesizeChristophe Grenier13 days1-3/+6
* src/file_jpg.c: prevent thumb file recovered instead of the wholeChristophe Grenier2020-10-111-2/+2
* src/file_jpg.c: some jpg were originally using Multiple-Picture Format (MPF)....Christophe Grenier2020-10-111-2/+276
* src/jfs.c: prevent a potential overflow when calculating the partitionChristophe Grenier2020-10-111-1/+1
* src/file_doc.c: identify more Thumbs.db filesChristophe Grenier2020-10-111-3/+8
* src/file_asf.c: header check was too strong and rejecting valid files.Christophe Grenier2020-10-111-1/+1
* Fix "make frama-c-fidentify-rw2"Christophe Grenier2020-10-114-7/+12
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-113-2/+9
* src/file_pdb.c: fix Frama-C warningChristophe Grenier2020-10-101-0/+3
* src/file_par2.c: better filesize checkChristophe Grenier2020-10-101-1/+1
* src/file_oci.c: better filesize checkChristophe Grenier2020-10-101-0/+2
* src/file_mysql.c: add Frama-C annotationsChristophe Grenier2020-10-101-15/+34
* src/file_msa.c: add a filesize checkChristophe Grenier2020-10-101-1/+18
* src/file_mpg.c: move frama-c annotation at the header definitionChristophe Grenier2020-10-101-3/+3
* src/file_pdf.c: add Frama-C annotationsChristophe Grenier2020-10-091-61/+147
* src/file_vdi.c: better check filesizeChristophe Grenier2020-10-041-10/+19
* Add an header guard to prevent multiple inclusion, some files were forgotten ...Christophe Grenier2020-10-047-1/+40
* Add an header guard to prevent multiple inclusionChristophe Grenier2020-10-04124-11/+572
* src/file_nk2.c: add frama-c annotationsChristophe Grenier2020-10-031-3/+49
* src/file_mpg.c: add frama-c annotationsChristophe Grenier2020-10-011-4/+73
* src/file_mov.c: add some frama-c annotations for data_check_movChristophe Grenier2020-10-011-0/+9
* PhotoRec: try to find ID3 header appended to mp3Christophe Grenier2020-09-301-0/+11
* src/file_lxo.c: avoid a potential integer overflowChristophe Grenier2020-09-191-1/+1
* src/file_lnk.c: better check filesizeChristophe Grenier2020-09-191-10/+25
* PhotoRec: rewrote the size tests to be more readableChristophe Grenier2020-09-143-21/+23
* src/file_indd.c: fix warnings reported by frama-cChristophe Grenier2020-09-141-2/+11
* PhotoRec - src/file_icns.c: better checkChristophe Grenier2020-09-141-4/+6
* src/file_ibd.c: fix warning reported by gccChristophe Grenier2020-09-141-1/+1
* src/file_hdf.c: fix warnings reported by frama-cChristophe Grenier2020-09-141-9/+25
* src/file_gif.c: fix some errors reported by frama-cChristophe Grenier2020-09-141-29/+80
* Fix commit 4ba942d12e7094004074b6808f2532b8f877019eChristophe Grenier2020-09-141-1/+1
* PhotoRec: src/file_gi.c - Ignore header when recorded filesize is too large f...Christophe Grenier2020-09-131-0/+2
* PhotoRec: discard fm header when the recorded size is too large for aChristophe Grenier2020-09-131-0/+2
* PhotoRec: src/file_fcs.c - fix problems reported by frama-cChristophe Grenier2020-09-131-9/+76
* PhotoRec: src/file_e01.c - set a valid name for files outside E01-Z99Christophe Grenier2020-09-131-5/+22
* PhotoRec: src/file_bpg.c - fix problems reported by frama-cChristophe Grenier2020-09-121-4/+46
* PhotoRec: src/file_axx.c - fix problems reported by frama-cChristophe Grenier2020-09-121-2/+13