10
I Use This!
Activity Not Available

Commits : Listings

Analyzed 12 months ago. based on code collected 12 months ago.
Dec 19, 2023 — Jan 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
configure.ac: fix regression introduce by commit 972217f99390b095fe7487441f0b3b325e5e6df2
cgrenier
as Christophe Grenier
More... 12 months ago
src/filegen.[ch], src/photorec.h: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... 12 months ago
src/common.[ch]: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... 12 months ago
PhotoRec: src/file_tiff* - improve Frama-C annotations
cgrenier
as Christophe Grenier
More... 12 months ago
Improve Frama-C annotations for a bunch of files
cgrenier
as Christophe Grenier
More... 12 months ago
src/file_tiff_*.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... 12 months ago
src/file_nk2.c: modify code and improve Frama-C annotations
cgrenier
as Christophe Grenier
More... 12 months ago
src/file_mxf.c: reduce function complexity for frama-c
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_mpg.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_mp3.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_mov.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_mlv.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_mkv.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_mid.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_m2ts.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_lzh.c: add more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_lnk.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_jpg.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_indd.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_idx.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_ico.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_icc.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_hdf.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_gz.h: add more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_gsm.c: add more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_gpg.c: add more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_gif.c: add more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_fits.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_dv.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago
src/file_abr.c: more frama-c annotations
cgrenier
as Christophe Grenier
More... about 1 year ago