summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* PhotoRec: recover bbdoc files (zip archives)Christophe Grenier10 days1-2/+9
* Disable some code sections for frama-cChristophe Grenier10 days10-4/+54
* PhotoRec: recover Doom .wad filesChristophe Grenier10 days3-1/+76
* New prototype for ask_location() and td_getcwd()Christophe Grenier2020-12-067-76/+118
* src/dirn.c: clear "Stop" message once files have been copiedChristophe Grenier2020-11-291-0/+4
* Do not return the file handle when calling log_open() and log_open_default()Christophe Grenier2020-11-274-32/+32
* fat: use uint8_t instead of int8_t for name and extChristophe Grenier2020-11-272-6/+6
* src/Makefile.am: add "-c11" flag when calling frama-cChristophe Grenier2020-11-271-0/+1
* src/ntfs.c: fix a check in ntfs_attribheader()Christophe Grenier2020-11-271-1/+1
* src/luks.c: improve code readabilityChristophe Grenier2020-11-271-2/+3
* src/xfs.c: improve code readabilityChristophe Grenier2020-11-271-2/+3
* sysv: use unsigned int when checking the signatureChristophe Grenier2020-11-272-3/+3
* src/log.c: call dup2() in log_open()Christophe Grenier2020-11-275-38/+26
* src/file_swf.c: Check scriptLen in compressed swf headerChristophe Grenier2020-11-171-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
* 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-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
generated by cgit v1.1 at 2021-01-17 02:58:56 +0000