path: root/src/file_txt.c
Commit message (Expand)AuthorAgeFilesLines
* src/file_txt.c: rewrite some functions so Frama-C can assert thatChristophe Grenier8 days1-108/+175
* Improve Frama-C annotations for a bunch of filesChristophe Grenier2024-01-011-7/+38
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-5/+7
* Numerous frama-c annotationsChristophe Grenier2021-11-201-0/+1
* src/file_txt.c: recover cdxml and mol2 filesChristophe Grenier2021-07-251-469/+165
* Move UTFsize() from src/file_txt.c to src/utfsize.cChristophe Grenier2021-03-141-85/+1
* src/file_txt.c: improve Frama-C annotationsChristophe Grenier2021-03-131-16/+141
* src/file_txt.c: try to be more frama-c friendlyChristophe Grenier2020-11-011-17/+68
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-1/+33
* Stricter check in UTFsize()Christophe Grenier2020-08-081-2/+5
* 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
* | PhotoRec: add a few frama-c annotations, mostly in header_check functionsChristophe Grenier2020-01-181-0/+39
* | 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-291-83/+2530
* | 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
* | src/file_txt.c: reorder functionsChristophe Grenier2019-12-281-420/+416
* PhotoRec: fix commit 94fa96ce3f72d03dd4e113eadc2043872bc07664Christophe Grenier2019-08-211-3/+5
* PhotoRec: recover more files using "#!/usr/bin/env"Christophe Grenier2019-07-261-0/+23
* Merge branch 'patch-1' of into wesinato...Christophe Grenier2019-04-291-2/+2
| * Fix batch typosԜеѕ2019-03-171-2/+2
* | PhotoRec: recover Grasshopper archive .ghx fileChristophe Grenier2019-04-141-1/+22
* PhotoRec: recover utf-16 xml filesChristophe Grenier2018-02-071-0/+14
* PhotoRec: improve Thunderbird mailbox recoveryChristophe Grenier2018-02-071-0/+28
* PhotoRec: better .gpx end detectionChristophe Grenier2018-02-071-0/+9
* PhotoRec: recover pgp public and private key, GPS eXchange Format .gpx, Veeam...Christophe Grenier2017-09-111-0/+24
* Replace some fake "while" by "if" in src/file_psb.c and src/file_psd.cChristophe Grenier2017-04-141-2/+2
* PhotoRec: use get_time_from_xxx() new functionsChristophe Grenier2017-04-081-13/+2
* PhotoRec: recover Fotobook .mcf filesChristophe Grenier2017-03-231-0/+2
* PhotoRec: do not search text files when another file is recovered except if i...Christophe Grenier2017-03-031-21/+1
* PhotoRec: try to recover ssh keys and more shell scriptsChristophe Grenier2016-12-111-0/+9
* PhotoRec: recover svg fileChristophe Grenier2016-07-271-0/+10
* PhotoRec: try to distinguish Go .go from Python .py filesChristophe Grenier2016-06-051-0/+6
* PhotoRec: better check for snz filesChristophe Grenier2016-01-231-6/+12
* Fix erronous text file detected as java.Christophe Grenier2015-12-221-1/+1
* PhotoRec: fix when carving jpg with blocksize forced to 1 byteChristophe Grenier2015-12-221-1/+2
* PhotoRec; stricker check for .snz filesChristophe Grenier2015-12-031-3/+28
* PhotoRec: recover Windows Desktop.ini filesChristophe Grenier2015-10-111-13/+83
* PhotoRec: doesn't search for text while recovering .docChristophe Grenier2015-09-251-2/+1
* PhotoRec: recover OpenDocument Flat XML Spreadsheet .fods files.Christophe Grenier2015-09-171-0/+80
* PhotoRec: recover .ldif filesChristophe Grenier2015-07-181-0/+8
* PhotoRec: support LyX 2.XPaul Tobias2015-07-111-0/+1
* PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)Christophe Grenier2015-06-131-2/+0
* remove always-true memcmpChristophe Grenier2015-05-111-39/+39
* PhotoRec: remove useless file_recovery NULL checkChristophe Grenier2014-10-051-8/+8
* PhotoRec: stricter check for various txt/tx? signaturesChristophe Grenier2014-09-171-2/+28
* PhotoRec: do not check for foreign txt inside zip archiveChristophe Grenier2014-03-301-11/+1
* PhotoRec: use an enum for values returned by data_check()Christophe Grenier2013-12-141-10/+10