10
I Use This!
Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected about 1 year ago.
Jan 18, 2023 — Jan 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
src/file_xpt.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_xml.c: fix problems reported by Frama-C
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_xm.c: Add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_xfs.c: add Frama-C annotations src/xfs_struct.h: move structure from src/xfs.h
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_xfi.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_xcf.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_xar.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_x4a.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_x3i.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_x3f.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wv.c: fix problems reported by Frama-C
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wtv.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wpd.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_woff.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wnk.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wmf.c: avoid integer overflow in wmf_check_meta_header(), add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wld.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wks.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
Move UTFsize() from src/file_txt.c to src/utfsize.c src/file_win.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wee.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wdp.c: add Frama-C annotations src/file_tiff_[bl]e.c: more annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wallet.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wad.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_vmg.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_vmdk.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_vib.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_vfb.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_veg.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_vdj.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_v2i.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago