path: root/src/file_gpg.c
Commit message (Expand)AuthorAgeFilesLines
* src/file_gpg.c: add more frama-c annotationsChristophe Grenier2023-12-271-2/+19
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-1/+1
* src/file_gpg.c: improve Frama-C annotationsChristophe Grenier2021-06-151-49/+43
* src/file_gpg.c: improve frama-c annotationsChristophe Grenier2021-02-221-1/+19
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-5/+11
* src/file_gpg.c: update frama-c annotationsChristophe Grenier2020-06-181-37/+67
* PhotoRec: add a few frama-c annotations, mostly in header_check functionsChristophe Grenier2020-01-181-1/+11
* src/file_gpg.c: additional frama-c annotationsChristophe Grenier2019-12-071-1/+8
* src/file_gpg.c: add frama-c annotations, fix boundaries check, no problems re...Christophe Grenier2019-10-201-58/+213
* PhotoRec: fix potential endless loop/crash when parsing abr files,Christophe Grenier2018-02-261-1/+1
* Fallback to fseek() if fseeko() failedChristophe Grenier2015-09-251-6/+0
* PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)Christophe Grenier2015-06-131-1/+0
* remove always-true memcmpChristophe Grenier2015-05-111-2/+2
* add gcc_struct attribute to all __packed__ structureChristophe Grenier2015-04-111-12/+8
* Use fseeko() instead of fseek().Christophe Grenier2014-10-041-2/+12
* src/file_gpg.c: turn off compilation warningChristophe Grenier2013-03-231-4/+4
* PhotoRec: check Multiple Precision Integer (MPI) used in public key crypto du...Christophe Grenier2013-03-231-7/+52
* PhotoRec: rewrote GPG file recoveryChristophe Grenier2012-10-211-157/+412
* PhotoRec: allow more crypto algorithms in .gpg detectionChristophe Grenier2011-10-301-2/+6
* PhotoRec: recover gpg file when data has been encrypted with a symmetric ciph...Christophe Grenier2011-03-051-6/+73
* PhotoRec: recover Pretty Good Privacy pgp filesChristophe Grenier2010-11-221-1/+9
* PhotoRec: fix gpg recoveryChristophe Grenier2010-04-271-3/+3
* PhotoRec .gpg: check publickey algo for Public-Key Encrypted Session Key Pack...Christophe Grenier2009-07-031-1/+3
* PhotoRec: it's not possible to get the file size for encrypted GnuPG message ...Christophe Grenier2008-06-101-17/+31
* PhotoRec: check the algo value used by public key packetChristophe Grenier2008-05-301-1/+34
* PhotoRec: partial support for GPG/OpenPGP file recoveryChristophe Grenier2008-05-141-0/+216