summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Do not return the file handle when calling log_open() and log_open_default()HEADmasterChristophe Grenier5 hours4-32/+32
* fat: use uint8_t instead of int8_t for name and extChristophe Grenier5 hours2-6/+6
* src/Makefile.am: add "-c11" flag when calling frama-cChristophe Grenier5 hours1-0/+1
* src/ntfs.c: fix a check in ntfs_attribheader()Christophe Grenier5 hours1-1/+1
* src/luks.c: improve code readabilityChristophe Grenier5 hours1-2/+3
* src/xfs.c: improve code readabilityChristophe Grenier5 hours1-2/+3
* sysv: use unsigned int when checking the signatureChristophe Grenier5 hours2-3/+3
* src/log.c: call dup2() in log_open()Christophe Grenier5 hours6-39/+27
* src/file_swf.c: Check scriptLen in compressed swf headerChristophe Grenier11 days1-1/+2
* src/file_txt.c: try to be more frama-c friendlyChristophe Grenier2020-11-011-17/+68
* src/Makefile.am: add session_photorec-%.framac targetChristophe Grenier2020-11-011-27/+41
* Disable ncurses library when using frama-cChristophe Grenier2020-11-0127-9/+91
* src/godmode.c: try to be more static parser friendlyChristophe Grenier2020-11-011-12/+14
* src/file_ab.c: fix frama-c annotationChristophe Grenier2020-11-011-1/+1
* src/fatp.c: remove useless prototypesChristophe Grenier2020-11-011-3/+0
* src/file_vmdk.c: remove unused l1_entry_sectors variableChristophe Grenier2020-11-011-2/+0
* src/file_fits.c: small steps to make the parser more frama-c friendly.Christophe Grenier2020-10-281-13/+33
* src/file_mkv.c: rewrite mkv parserChristophe Grenier2020-10-251-48/+125
* src/file_xm.c: fix frama-c warningsChristophe Grenier2020-10-241-5/+29
* src/file_xfs.c: fix Frama-c warningsChristophe Grenier2020-10-241-4/+9
* src/file_xar.c: recover xar archive using sha512 to checksum dataChristophe Grenier2020-10-241-5/+10
* src/file_x4a.c: add frama-c annotationsChristophe Grenier2020-10-241-3/+11
* src/file_vmdk.c: stricter header checkChristophe Grenier2020-10-241-15/+21
* src/file_ttf.c: Fix frama-c warningsChristophe Grenier2020-10-241-8/+30
* src/file_gif.c: hide frama-c warningChristophe Grenier2020-10-241-1/+3
* file_allow_nl(): add assigns frama-c annotationChristophe Grenier2020-10-242-5/+10
* src/file_tib.c: fix frama-c warnings in file_check_tib2()Christophe Grenier2020-10-181-7/+11
* PhotoRec: fix tar recoveryChristophe Grenier2020-10-175-29/+93
* update win/readme.txt: TestDisk & PhotoRec archive with binaries for Windows ...Christophe Grenier2020-10-171-11/+8
* Fix "make fram-c-fidentify-swf"Christophe Grenier2020-10-121-1/+1
* src/file_sp3.c: hide frama-c warningChristophe Grenier2020-10-121-0/+2
* src/file_spf.c: fix frama-c warningsChristophe Grenier2020-10-121-3/+10
* src/file_stl.c: fix filesizeChristophe Grenier2020-10-121-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-114-3/+10
* 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