path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Add support for BeFS for EFI GPT and Mac partition table, fix previousHEADmasterFran├žois Revol35 hours1-0/+1
* Add support for BeFS for EFI GPT and Mac partition tableFran├žois Revol2 days4-0/+17
* src/file_zip.c: additional frama-c annotationsChristophe Grenier2020-06-211-52/+260
* frama-c: add annotation to fix warnings in date_dos2unix() and __td_list_add()Christophe Grenier2020-06-212-0/+7
* Constify more function parametersChristophe Grenier2020-06-1917-18/+16
* Constify a lot of function parametersChristophe Grenier2020-06-1980-774/+717
* PhotoRec: stricter check for zip filesChristophe Grenier2020-06-181-6/+9
* PhotoRec: better check for wmf with placeable recordChristophe Grenier2020-06-181-10/+40
* src/file_bz2.c: stricter check in header_check_bz2()Christophe Grenier2020-06-181-1/+1
* src/file_asf.c: stricter check in header_check_asf()Christophe Grenier2020-06-181-19/+28
* src/fidentify.c: make file_identify() more frama-c friendlyChristophe Grenier2020-06-181-5/+13
* src/file_gpg.c: update frama-c annotationsChristophe Grenier2020-06-181-37/+67
* src/file_swf.c: add frama-c annotationsChristophe Grenier2020-06-181-2/+179
* Fix frama-c annotation for file_allow_nl()Christophe Grenier2020-06-181-1/+1
* PhotoRec: stricter check for compressed swf filesChristophe Grenier2020-06-171-2/+4
* Lots of frama-c work that should be safe to commitChristophe Grenier2020-06-0230-108/+265
* Merge branch 'patch-1' of into royduin-pa...Christophe Grenier2020-05-301-0/+1
| * Update file_txt.cRoy Duineveld2019-11-021-1/+1
| * Support for Sequel Pro SQL dumpsRoy Duineveld2019-11-011-0/+1
* | dir_aff_ncurses(): in the description, add single quote around each letter as...Christophe Grenier2020-05-151-7/+7
* | List 'MS Storage Spaces' partition entriesChristophe Grenier2020-05-152-25/+77
* | NTFS undelete: show file date - Fix regression from a1419a0806b4270bfad92ea49...Christophe Grenier2020-05-031-1/+6
* | TestDisk: ignore the first Ctrl-CChristophe Grenier2020-05-011-16/+23
* | PhotoRec: raise maxium size of SketchUp .skp to 500MBChristophe Grenier2020-05-011-1/+1
* | PhotoRec: recover TIFF up to 1 GB (Previous limit was 100 MB)Christophe Grenier2020-04-223-5/+9
* | ntfs.c,ntfs_adv.c: ntfs_getattributedata() may return NULL, avoid potential N...Christophe Grenier2020-04-212-4/+13
* | Cleanup code using SUDO_BINChristophe Grenier2020-03-206-45/+41
* | Support for further WISO Steuer software versionsVolker Wildi2020-03-091-5/+32
* | rename list_file_enable to array_file_enableChristophe Grenier2020-02-018-20/+20
* | frama-c: add annotations for fidentify, checks reduced to file_bmp.c andChristophe Grenier2020-01-266-8/+62
* | January 2020Christophe Grenier2020-01-261-0/+48
* | PhotoRec: fix get_prev_location_smart(), avoid a potential enless loopChristophe Grenier2020-01-261-3/+4
* | frama-c: src/file_jpg.c - annotate mpo codeChristophe Grenier2020-01-261-117/+262
* | PhotoRec: src/file_gz.c, src/file_mp3.c: header_ignored_adv() must be called ...Christophe Grenier2020-01-262-50/+59
* | frama-c: annotate file_check_add_tail() and td_list_add()Christophe Grenier2020-01-262-1/+16
* | PhotoRec: add a few frama-c annotations, mostly in header_check functionsChristophe Grenier2020-01-1813-12/+115
* | PhotoRec - file_tiff*.c: Reintroduce fixed IFD1 parsing.Christophe Grenier2020-01-183-3/+104
* | add a few frama-c annotationsChristophe Grenier2020-01-013-1/+17
* | src/file_jpg.c: declare data_check_jpg() staticChristophe Grenier2020-01-011-2/+4
* | src/file_emf.c: add frama-c annotationsChristophe Grenier2020-01-011-28/+159
* | src/file_mp3.c: additional frama-c annotationsChristophe Grenier2020-01-011-39/+45
* | EFI GPT: List Apple Core Storage by its nameChristophe Grenier2019-12-302-0/+3
* | src/file_txt.c: remove some commented linesChristophe Grenier2019-12-301-13/+0
* | src/file_txt.c: add a lot of frama-c annotationsChristophe Grenier2019-12-293-89/+2538
* | src/file_txt.c: code cleanup (work in progress)Christophe Grenier2019-12-281-117/+179
* | src/file_txt.c: use static variable for each extensionChristophe Grenier2019-12-281-104/+144
* | date_dos2unix(): adapt a more recent and readable version from Linux kernel.Christophe Grenier2019-12-285-28/+63
* | src/file_txt.c: reorder functionsChristophe Grenier2019-12-281-420/+416
* | PhotoRec: src/file_pf.c - additional frama-c annotations for file_rename_pf()Christophe Grenier2019-12-281-0/+7
* | PhotoRec: stricter check in src/file_pdf.cChristophe Grenier2019-12-281-1/+1