Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | src/file_riff.[ch]: PhotoRec - fix potential endless loop | Christophe Grenier | 2023-12-27 | 1 | -0/+1 |
* | src/file_riff.h: improve Frama-C annotations | Christophe Grenier | 2021-09-04 | 1 | -7/+2 |
* | src/file_riff.c: add Frama-C annotations, stricter checks | Christophe Grenier | 2021-03-03 | 1 | -0/+44 |